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 6

3. lean-genius lean-genius Public

   Annotations for Lean Proofs

   Lean 1

4. loom loom Public

   Multi-terminal vibe coding

   TypeScript 2 1

5. kicad-tools kicad-tools Public

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

   Python 2

6. strata-fdtd strata-fdtd Public

   FDTD acoustic simulation toolchain for loudspeaker design and metamaterials

   Python