Popular repositories Loading

1. rust-lean-aeneas rust-lean-aeneas Public

   Comprehensive tutorial series: formal verification of Rust programs using Lean 4 and Aeneas — from arithmetic proofs to a verified multi-agent LLM harness

   Lean 6 1

2. sockerless sockerless Public

   Go 1 1

3. bleepstore bleepstore Public

   S3-compatible object store implemented in Python, Go, Rust, and Zig

   Python 1 1

4. tuia tuia Public

   Terminal UI Application - A fast presentation tool in Zig

   Zig 1 1

5. slowpokeapi slowpokeapi Public

   Rust 1 1

6. funveil funveil Public

   Funveil project

   Rust 1