Popular repositories Loading

1. poof poof Public

   Prototypes: Object Orientation, Functionally

   Scheme 50 7

2. dafny-replay dafny-replay Public

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

   TypeScript 26 1

3. dafny-annotator dafny-annotator Public

   AI-assisted verification of Dafny Programs

   Python 18 2

4. henri henri Public

   a small, hackable agent CLI in Python, with explicit control via tools, permissions, and hooks

   Python 13 2

5. synthesis-scheme synthesis-scheme Public

   explorations of Scheme synthesis in Scheme

   Scheme 9

6. jadeo jadeo Public

   functional/relational reflective tower

   Scheme 9