Popular repositories Loading

1. poof poof Public

   Prototypes: Object Orientation, Functionally

   Scheme 49 6

2. dafny-replay dafny-replay Public

   Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

   JavaScript 22 1

3. dafny-annotator dafny-annotator Public

   AI-assisted verification of Dafny Programs

   Python 17 2

4. synthesis-scheme synthesis-scheme Public

   explorations of Scheme synthesis in Scheme

   Scheme 9

5. jadeo jadeo Public

   functional/relational reflective tower

   Scheme 8

6. llm-mysteries llm-mysteries Public

   LLMs to reason about whodunit mysteries

   Python 7 1