Popular repositories Loading

1. poof poof Public

   Prototypes: Object Orientation, Functionally

   Racket 44 6

2. dafny-annotator dafny-annotator Public

   AI-assisted verification of Dafny Programs

   Python 9 2

3. synthesis-scheme synthesis-scheme Public

   explorations of Scheme synthesis in Scheme

   Scheme 7

4. llm-mysteries llm-mysteries Public

   LLMs to reason about whodunit mysteries

   Python 6

5. clpllm clpllm Public

   CLP(LLM) -- using an LLM as a constraint solver

   Python 5

6. dolorem-c dolorem-c Public

   Dolorem with a C target

   C 3