⚡ Apple M4 Max Hardware Benchmarks
Measured execution times across 16 algorithmic workloads comparing single-thread CPU (SEQ-CPU), multi-core CPU (PAR-CPU), and GPU warps (PAR-GPU) against native C, TypeScript, and Lean 4.
📦 Curated Ecosystem Directory
Verified tools, libraries, formal proof specifications, and applications satisfying the Three-Prong Curation Standard.
/
📖 Architecture & Developer Guides
Practical walk-throughs for getting started, running benchmarks, verifying proofs, and designing lock-free data structures.