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. cosy-draft cosy-draft Public

   Python 1

4. cosy cosy Public

   1

5. bcls-python_old bcls-python_old Public archive

   Python implementation of CLS

   Python

6. cls-scala cls-scala Public

   Forked from combinators/cls-scala

   (CL)S - Combinatory Logic Synthesizer

   Scala