Pinned Loading

1. vibesql vibesql Public

   Vibe-coded NIST compatible database in Rust

   Rust 30

2. lean-genius lean-genius Public

   Annotations for Lean Proofs

   Lean 6 1

3. loom loom Public

   Agent Orchestration

   Python 9 5

4. anvil anvil Public

   AI-powered artifact creation using filesystem versioning as the coordination layer

   Python

5. kicad-tools kicad-tools Public

   Standalone Python tools for parsing and manipulating KiCad schematic and PCB files

   Python 31 2

6. geode-fem geode-fem Public

   Burn-based FEM/DG electromagnetic solver — GPU-accelerated, differentiable, Rust.

   Rust