Pinned Loading

1. aspisZK aspisZK Public

   Aspis ZK: native Circle STARK verification and private payments on Solana, with Lean 4 proofs and finalized mainnet evidence.

   Lean 1

2. solmath solmath Public

   Financial math that fits on Solana

   Rust 1

3. hausklar hausklar Public

   Self-hosted, offline-first family organiser with native iOS and web clients.

   Python

4. weighted-hensel-repair weighted-hensel-repair Public

   Lean 4 formalization accompanying “Correcting the Weighted Hensel Estimate for Reed–Solomon Curve Decodability”

   Lean

5. field-game field-game Public

   TypeScript

6. screener screener Public

   screener

   Python