rudi-cilibrasi/openverse
an unofficial (not Epic Games related) open-source Verse runtime with Lean verification
GitHub repository with 7 stars and 2 forks.
Language: Lean
24h trend summary
Trending score 0.61, freshness score 0.90, stars gained +2, forks gained +1.
Latest metric snapshot
2026-11-15: 7 stars and 2 forks.