Skip to content
@tudo-seal

SEAL - Software Engineering by Algorithms and Logic

README.md

Popular repositories Loading

  1. CLS-CAD CLS-CAD Public

    Automated CAD assembly generation based on Combinatory Logic Synthesis.

    Python 10 3

  2. clsp-python clsp-python Public

    Forked from tudo-seal/cls-python

    Type Based Synthesis using inhabitation in FCLP

    Python 2

  3. bcls-python_old bcls-python_old Public archive

    Python implementation of CLS

    Python

  4. cls-scala cls-scala Public

    Forked from combinators/cls-scala

    (CL)S - Combinatory Logic Synthesizer

    Scala

  5. .github .github Public

  6. cls-python cls-python Public

    Synthesis using inhabitation in FCL with intersection types

    Python 2

Repositories

Showing 8 of 8 repositories
  • CLS-CAD Public

    Automated CAD assembly generation based on Combinatory Logic Synthesis.

    tudo-seal/CLS-CAD’s past year of commit activity
    Python 10 Apache-2.0 3 6 4 Updated Nov 26, 2024
  • clsp-python Public Forked from tudo-seal/cls-python

    Type Based Synthesis using inhabitation in FCLP

    tudo-seal/clsp-python’s past year of commit activity
    Python 2 Apache-2.0 2 0 0 Updated Sep 16, 2024
  • cls-python Public

    Synthesis using inhabitation in FCL with intersection types

    tudo-seal/cls-python’s past year of commit activity
    Python 0 Apache-2.0 2 0 0 Updated Mar 7, 2024
  • uniform-intersection Public

    Equivalence between the simple type system and the uniform non-idempotent intersection type system.

    tudo-seal/uniform-intersection’s past year of commit activity
    Coq 0 Unlicense 0 0 0 Updated Feb 19, 2024
  • bcls-python Public Forked from tudo-seal/cls-python

    Synthesis using inhabitation in FCL with intersection types and a boolean query

    tudo-seal/bcls-python’s past year of commit activity
    Python 0 Apache-2.0 2 0 0 Updated Oct 25, 2023
  • bcls-python_old Public archive

    Python implementation of CLS

    tudo-seal/bcls-python_old’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Jul 28, 2023
  • .github Public
    tudo-seal/.github’s past year of commit activity
    0 0 0 0 Updated May 23, 2023
  • cls-scala Public Forked from combinators/cls-scala

    (CL)S - Combinatory Logic Synthesizer

    tudo-seal/cls-scala’s past year of commit activity
    Scala 0 Apache-2.0 2 0 0 Updated Mar 6, 2023

Top languages

Loading…

Most used topics

Loading…