# HigherOrderCO/Kind

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

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

HigherOrderCO/Kind has 3,762 stars on GitHub. Its RepoMasters card: RC tier. A modern proof language Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [HigherOrderCO](https://repo.masters-masters.com/en/owners/HigherOrderCO) |
| Stars | 3,762 |
| Forks | 152 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | MIT |
| Created | 2018 |
| Topics | formality, lambda-calculus, type-theory, proof-language, functional-programming, dependent-types, moonad, proof-languages, theorem-prover |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [HigherOrderCO/Kind](https://github.com/HigherOrderCO/Kind) |

## Repository

A modern proof language

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by HigherOrderCO

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

## Nearby in Haskell

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

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.