SurmountSystems/systems-lean
Freestanding high assurance Lean 4 implemented with no runtime GC and linear type multiplicities, compiles AOT to CompCert C
GitHub repository with 6 stars and 0 forks.
Language: Lean
24h trend summary
Trending score 0.08, freshness score 0.65, stars gained +0, forks gained +0.
Latest metric snapshot
2026-09-25: 6 stars and 0 forks.