idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Stars Over Time
3,468 stars by
mwA
HaskellOther
Growth
FROZENLast 30 days+0 stars
In This Ecosystem
No comparisons available yet
Owner
I
idris-lang
github.com/idris-langNotable Stargazers
In These Collections
Building idris-lang/Idris-dev?
We track who's paying attention — companies, roles, and the developers most likely to contribute or adopt.
Get in touch