7 daysStars15224h gain-Score0.0
Idris
Trending Idris repositories, ranked by momentum.
4 results
- Place 10.0
Idris on the JVM
- Place 20.0
A purely functional programming language with first class types
- Place 30.0
Language Server for Idris2
RankRepository7 daysStars24h gainScore
Follow this list in a feed reader(Atom, top 25)