# AndrasKovacs/elaboration-zoo

<https://repo.masters-masters.com/en/repos/AndrasKovacs/elaboration-zoo>

[Home](https://repo.masters-masters.com/en) › [AndrasKovacs](https://repo.masters-masters.com/en/owners/AndrasKovacs) › [elaboration-zoo](https://repo.masters-masters.com/en/repos/AndrasKovacs/elaboration-zoo)

AndrasKovacs/elaboration-zoo has 808 stars on GitHub. Its RepoMasters card: Beta tier. Minimal implementations for dependent type checking and elaboration

| Field | Value |
| --- | --- |
| Owner | [AndrasKovacs](https://repo.masters-masters.com/en/owners/AndrasKovacs) |
| Stars | 808 |
| Forks | 50 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2016 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [AndrasKovacs/elaboration-zoo](https://github.com/AndrasKovacs/elaboration-zoo) |

## Repository

Minimal implementations for dependent type checking and elaboration

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by AndrasKovacs

- [AndrasKovacs/smalltt · ★ 611 · Lean · Alpha](https://repo.masters-masters.com/en/repos/AndrasKovacs/smalltt)
- [AndrasKovacs/staged · ★ 189 · TeX · Prototype](https://repo.masters-masters.com/en/repos/AndrasKovacs/staged)
- [AndrasKovacs/flatparse · ★ 182 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/AndrasKovacs/flatparse)

## Nearby in Haskell

- [Copilot-Language/copilot · ★ 839 · Haskell · Beta](https://repo.masters-masters.com/en/repos/Copilot-Language/copilot)
- [tmspzz/Rome · ★ 823 · Haskell · Beta](https://repo.masters-masters.com/en/repos/tmspzz/Rome)
- [cardano-foundation/cardano-wallet · ★ 823 · Haskell · Beta](https://repo.masters-masters.com/en/repos/cardano-foundation/cardano-wallet)
- [ndmitchell/hoogle · ★ 805 · Haskell · Beta](https://repo.masters-masters.com/en/repos/ndmitchell/hoogle)
- [augustss/MicroHs · ★ 804 · Haskell · Beta](https://repo.masters-masters.com/en/repos/augustss/MicroHs)
- [ndmitchell/shake · ★ 803 · Haskell · Beta](https://repo.masters-masters.com/en/repos/ndmitchell/shake)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.