PrototypeCommune
caotic123/Kei
A small and expressive dependently typed language
- Propriétaire
- caotic123 (compte personnel)
- Étoiles
- Étoiles : 129
- Forks
- Forks : 3
- Langage
- Haskell
- Licence
- GPL-3.0
- Création
- 2019
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de caotic123
Les 2 dépôts de caotic123- caotic123/PomPom-LanguageÉtoiles : 193HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- syocy/a-tour-of-go-in-haskellÉtoiles : 129HaskellPrototype
- ndmitchell/record-dot-preprocessorÉtoiles : 129HaskellPrototype
- ChrisPenner/lens-regex-pcreÉtoiles : 129HaskellPrototype
- hreinhardt/amqpÉtoiles : 129HaskellPrototype
- bos/configuratorÉtoiles : 129HaskellPrototype
- haskelllive/haskellliveÉtoiles : 129HaskellPrototype