Pinned Loading

1. cse291-program-synthesis cse291-program-synthesis Public

   Program Synthesis Course

   257 39

2. synquid synquid Public

   Haskell 131 15

3. poetry poetry Public

   6

4. gpt-scientist gpt-scientist Public

   A lightweight library for processing text datasets using large langugae models.

   Python 1 1

5. TyGuS/suslik TyGuS/suslik Public

   Synthesis of Heap-Manipulating Programs from Separation Logic

   Scala 127 21