Popular repositories Loading

1. poof poof Public

   Prototypes: Object Orientation, Functionally

   Scheme 53 8

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 27 1

3. dafny-annotator dafny-annotator Public

   AI-assisted verification of Dafny Programs

   Python 19 4

4. claimcheck claimcheck Public

   Dafny verifies proofs; claimcheck confirms intent.

   JavaScript 16 1

5. henri henri Public

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

   Python 14 4

6. future-of-programming-class future-of-programming-class Public

   Harvard CS2520R Fall 2026

   HTML 11