Skip to content

@tudo-seal SEAL - Software Engineering by Algorithms and Logic

Change the repository type filter

All

    Repositories list

    14 repositories

    • CLS-CAD

      Public
      Automated CAD assembly generation based on Combinatory Logic Synthesis.
      cadcombinatorics3dcombinatorsfusion360
      Python
      •
      Apache License 2.0
      •3•10•7•0•Updated Aug 3, 2025Aug 3, 2025

    • cosy-draft

      Public
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 2, 2025Jul 2, 2025

    • cosy-lexers

      Public
      Python
      •0•0•0•0•Updated Jun 23, 2025Jun 23, 2025

    • non-idempotent-intersection

      Public
      Experiments with the annotated non-idempotent intersection type system.
      Coq
      •
      The Unlicense
      •0•0•0•0•Updated Jun 6, 2025Jun 6, 2025

    • cosy

      Public
      0•1•0•0•Updated Jun 4, 2025Jun 4, 2025

    • clsp-python

      Public
      Type Based Synthesis using inhabitation in FCLP
      Python
      •
      Apache License 2.0
      •2•4•0•0•Updated May 24, 2025May 24, 2025

    • OptiClamp

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

    • WinPFPOffset

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •3•0•0•0•Updated Apr 28, 2024Apr 28, 2024

    • cls-python

      Public
      Synthesis using inhabitation in FCL with intersection types
      Python
      •
      Apache License 2.0
      •2•0•0•0•Updated Mar 7, 2024Mar 7, 2024

    • uniform-intersection

      Public
      Equivalence between the simple type system and the uniform non-idempotent intersection type system.
      Coq
      •
      The Unlicense
      •0•0•0•0•Updated Feb 19, 2024Feb 19, 2024

    • bcls-python

      Public
      Synthesis using inhabitation in FCL with intersection types and a boolean query
      Python
      •
      Apache License 2.0
      •2•0•0•0•Updated Oct 25, 2023Oct 25, 2023

    • bcls-python_old

      Public archive
      Python implementation of CLS
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

    • .github

      Public
      0•0•0•0•Updated May 23, 2023May 23, 2023

    • cls-scala

      Public
      (CL)S - Combinatory Logic Synthesizer
      Scala
      •
      Apache License 2.0
      •2•0•0•0•Updated Mar 6, 2023Mar 6, 2023