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 4

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