# HigherOrderCO/Kind

<https://repo.masters-masters.com/repos/HigherOrderCO/Kind>

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

HigherOrderCO/Kind, dépôt open source à 3 764 étoiles sur GitHub. Carte RC de RepoMasters. A modern proof language Langage : Haskell.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [HigherOrderCO](https://repo.masters-masters.com/owners/HigherOrderCO) |
| Étoiles | 3 764 |
| Forks | 152 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | MIT |
| Création | 2018 |
| Sujets | formality, lambda-calculus, type-theory, proof-language, functional-programming, dependent-types, moonad, proof-languages, theorem-prover |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [HigherOrderCO/Kind](https://github.com/HigherOrderCO/Kind) |

## Fiche du dépôt

A modern proof language

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## Autres dépôts de HigherOrderCO

- [HigherOrderCO/HVM1 · ★ 11 353 · Cuda · Stable](https://repo.masters-masters.com/repos/HigherOrderCO/HVM1)
- [HigherOrderCO/HVM3 · ★ 304 · Haskell · Alpha](https://repo.masters-masters.com/repos/HigherOrderCO/HVM3)
- [HigherOrderCO/HVM4 · ★ 125 · C · Prototype](https://repo.masters-masters.com/repos/HigherOrderCO/HVM4)

## D’autres dépôts Haskell

- [meta/duckling · ★ 4 323 · Haskell · RC](https://repo.masters-masters.com/repos/meta/duckling)
- [system-f/fp-course · ★ 4 244 · Haskell · RC](https://repo.masters-masters.com/repos/system-f/fp-course)
- [commercialhaskell/stack · ★ 4 081 · Haskell · RC](https://repo.masters-masters.com/repos/commercialhaskell/stack)
- [input-output-hk/cardano-sl · ★ 3 744 · Haskell · RC](https://repo.masters-masters.com/repos/input-output-hk/cardano-sl)
- [xmonad/xmonad · ★ 3 607 · Haskell · RC](https://repo.masters-masters.com/repos/xmonad/xmonad)
- [idris-lang/Idris-dev · ★ 3 478 · Haskell · RC](https://repo.masters-masters.com/repos/idris-lang/Idris-dev)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.