replikativ/
Dependently typed Clojure DSL with a Lean4 compatible kernel.
by replikativ Clojure Other licence 3 forks Created Apr 2026 View on GitHub
- Stars
- 83
- 2% of replikativ's stars
- Rank
- #563,282
- of 852,045 repos, top 67%
- In Clojure
- #1,677
- of 2,511 repos, top 67%
Among 852,045 repos
63–100 stars: 217,624 repos, including ansatz
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #557,831
- Next milestone
- +11 stars to reach the top 60%