Andrewp2/laniusc
Lanius is a programming language that compiles at the speed of light.
GitHub repository with 14 stars and 1 forks.
Language: Lean
Topics: compiler, programming-language
24h trend summary
Trending score 0.94, freshness score 0.90, stars gained +5, forks gained +0.
Latest metric snapshot
2026-11-15: 14 stars and 1 forks.