HigherOrderCO / Kind

A modern proof language

Date Created 2018-07-13 (6 years ago)
Commits 279 (last one 2 months ago)
Stargazers 3,631 (2 this week)
Watchers 75 (0 this week)
Forks 145
License mit
Ranking

RepositoryStats indexes 619,220 repositories, of these HigherOrderCO/Kind is ranked #14,027 (98th percentile) for total stargazers, and #25,801 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #17/1,480.

HigherOrderCO/Kind is also tagged with popular topics, for these it's ranked: functional-programming (#33/666)

Other Information

HigherOrderCO/Kind has 3 open pull requests on Github, 287 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 3 open issues and 213 closed issues.

There have been 10 releases, the latest one was published on 2022-12-01 (2 years ago) with the name Kind2 0.3.

Homepage URL: https://higherorderco.com

Star History

Github stargazers over time

4k4k3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k5005000020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

7777767675757474737372727171707020232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

279 commits on the default branch (master) since jan '22

7007006006005005004004003003002002001001000020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

60060050050040040030030020020010010000-100-100-200-200-300-300-400-400201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
25025020020015015010010050500020192019202020202021202120222022202320232024202420252025

Languages

The only known language in this repository is Haskell

HaskellHaskell
Opengraph Image
HigherOrderCO/Kind

updated: 2025-02-23 @ 12:59am, id: 140790634 / R_kgDOCGRLag