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 1

5. kicad-tools kicad-tools Public

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

   Python 32 2

6. geode-fem geode-fem Public

   A FEM/DG electromagnetic solver using tensor compilation

   Rust 1