Popular repositories

1. bayou bayou Public

   System for synthesizing Java API idioms, powered by Neural Sketch Learning

   Java 276 81

2. houdini houdini Public

   HOUDINI: Lifelong Learning as Program Synthesis

   Python 46 6

3. copra copra Public

   COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.

   Python 35 5

4. near near Public

   Python 23 11

5. salento salento Public

   Statistical bug-finding framework for API-using code

   Python 6 4

6. cflobdd cflobdd Public

   C 6 3