RCEpic
HigherOrderCO/Kind
A modern proof language
- Owner
- HigherOrderCO (organization)
- Stars
- Stars: 3,764
- Forks
- Forks: 152
- Language
- Haskell
- License
- MIT
- Created
- 2018
- Topics
- formalitylambda-calculustype-theoryproof-languagefunctional-programmingdependent-typesmoonadproof-languagestheorem-prover
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by HigherOrderCO
All 4 repos by HigherOrderCO- HigherOrderCO/HVM1Stars: 11,353CudaStable
- HigherOrderCO/HVM3Stars: 304HaskellAlpha
- HigherOrderCO/HVM4Stars: 125CPrototype
Nearby in Haskell
All Haskell repos- meta/ducklingStars: 4,323HaskellRC
- system-f/fp-courseStars: 4,244HaskellRC
- commercialhaskell/stackStars: 4,081HaskellRC
- input-output-hk/cardano-slStars: 3,744HaskellRC
- xmonad/xmonadStars: 3,607HaskellRC
- idris-lang/Idris-devStars: 3,478HaskellRC