Pinned Loading

1. ScieNFT/contracts ScieNFT/contracts Public

   ScieNFT Public Smart Contracts

   HTML 5 1

2. vibesql vibesql Public

   Vibe-coded NIST compatible database in Rust

   Rust 30

3. lean-genius lean-genius Public

   Annotations for Lean Proofs

   Lean 6 1

4. loom loom Public

   Agent Orchestration

   Python 9 5

5. kicad-tools kicad-tools Public

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

   Python 31 2

6. strata-fdtd strata-fdtd Public

   FDTD acoustic simulation toolchain for loudspeaker design and metamaterials

   Python 1