PrototypeCommon
caotic123/Kei
A small and expressive dependently typed language
- Owner
- caotic123 (personal account)
- Stars
- Stars: 129
- Forks
- Forks: 3
- Language
- Haskell
- License
- GPL-3.0
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by caotic123
All 2 repos by caotic123- caotic123/PomPom-LanguageStars: 193HaskellPrototype
Nearby in Haskell
All Haskell repos- syocy/a-tour-of-go-in-haskellStars: 129HaskellPrototype
- ndmitchell/record-dot-preprocessorStars: 129HaskellPrototype
- ChrisPenner/lens-regex-pcreStars: 129HaskellPrototype
- hreinhardt/amqpStars: 129HaskellPrototype
- bos/configuratorStars: 129HaskellPrototype
- haskelllive/haskellliveStars: 129HaskellPrototype