idris-lang /Idris-dev
A Dependently Typed Functional Programming Language
Stars3,478
Forks630
Open issues708
Avg. stars / day1faster than 18% of Haskell
LanguageHaskell
License–
CreatedSep 14, 2011
Last activityFeb 17, 2025
Momentum
starts with the second daily updateRepocharts records a data point every day. Growth figures appear from tomorrow on.
Stars over time
tracked daily since Nov 5, 20263,478 stars today. This graph fills in as daily data points come in.
Chart positions
November 5, 2026| Chart | Rank | Prev. | Peak | Days on chart | At this rank |
|---|---|---|---|---|---|
| Haskell | #21 · | – | #21 | 1 | 1 day |
Rank history
last 90 days, #1 at the topThe rank history appears after the second daily update.
Compared with the Haskell chart
bar = this repo, line = chart medianStars3.5k1.1× median
Forks6301.9× median
Avg. stars per day167% of median
Open issues7084.8× median
Commit activity
last 52 weeksCommit activity is fetched once a week and appears here after the next update.
Cite and share
According to Repocharts, idris-lang/Idris-dev ranks #21 in the Haskell ranking on November 5, 2026.