AlphaUncommon
ollef/sixty
Dependent type checker using normalisation by evaluation
- Owner
- ollef (personal account)
- Stars
- Stars: 277
- Forks
- Forks: 8
- Language
- Haskell
- License
- None
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by ollef
All 5 repos by ollef- ollef/sixtenStars: 785HaskellBeta
- ollef/EarleyStars: 377HaskellAlpha
- ollef/rockStars: 139HaskellPrototype
- ollef/BidirectionalStars: 134HaskellPrototype
Nearby in Haskell
All Haskell repos- RaphaelJ/fridayStars: 277HaskellAlpha
- ivanperez-keera/haskanoidStars: 277HaskellAlpha
- ekmett/guanxiStars: 277HaskellAlpha