# caotic123/Kei

<https://repo.masters-masters.com/repos/caotic123/Kei>

[Accueil](https://repo.masters-masters.com/) › [caotic123](https://repo.masters-masters.com/owners/caotic123) › [Kei](https://repo.masters-masters.com/repos/caotic123/Kei)

caotic123/Kei, dépôt open source à 129 étoiles sur GitHub. Carte Prototype de RepoMasters. A small and expressive dependently typed language Langage : Haskell.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [caotic123](https://repo.masters-masters.com/owners/caotic123) |
| Étoiles | 129 |
| Forks | 3 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | GPL-3.0 |
| Création | 2019 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [caotic123/Kei](https://github.com/caotic123/Kei) |

## Fiche du dépôt

A small and expressive dependently typed language

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de caotic123

- [caotic123/PomPom-Language · ★ 193 · Haskell · Prototype](https://repo.masters-masters.com/repos/caotic123/PomPom-Language)

## D’autres dépôts Haskell

- [syocy/a-tour-of-go-in-haskell · ★ 129 · Haskell · Prototype](https://repo.masters-masters.com/repos/syocy/a-tour-of-go-in-haskell)
- [ndmitchell/record-dot-preprocessor · ★ 129 · Haskell · Prototype](https://repo.masters-masters.com/repos/ndmitchell/record-dot-preprocessor)
- [ChrisPenner/lens-regex-pcre · ★ 129 · Haskell · Prototype](https://repo.masters-masters.com/repos/ChrisPenner/lens-regex-pcre)
- [hreinhardt/amqp · ★ 129 · Haskell · Prototype](https://repo.masters-masters.com/repos/hreinhardt/amqp)
- [bos/configurator · ★ 129 · Haskell · Prototype](https://repo.masters-masters.com/repos/bos/configurator)
- [haskelllive/haskelllive · ★ 129 · Haskell · Prototype](https://repo.masters-masters.com/repos/haskelllive/haskelllive)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.