HigherOrderCO /Kind
A modern proof language
dependent-typesformalityfunctional-programminglambda-calculusmoonadproof-languageproof-languagestheorem-prover
Stars3,762
Forks152
Open issues7
Avg. stars / day1faster than 63% of Haskell
LanguageHaskell
LicenseMIT
CreatedJul 13, 2018
Last activityJan 22, 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,762 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 | #18 · | – | #18 | 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.8k1.2× median
Forks15246% of median
Avg. stars per day11.3× median
Open issues75% of median
Commit activity
last 52 weeksCommit activity is fetched once a week and appears here after the next update.
Similar repositories
by shared topics, language and charts
Cite and share
According to Repocharts, HigherOrderCO/Kind ranks #18 in the Haskell ranking on November 5, 2026.