# ehatti/peridot

<https://repo.masters-masters.com/en/repos/ehatti/peridot>

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

ehatti/peridot has 393 stars on GitHub. Its RepoMasters card: Alpha tier. A fast functional language based on two level type theory Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [ehatti](https://repo.masters-masters.com/en/owners/ehatti) |
| Stars | 393 |
| Forks | 6 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | MPL-2.0 |
| Created | 2020 |
| Topics | dependent-types, systems-language, programming-language, type-theory, haskell, proglangs-discord |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [ehatti/peridot](https://github.com/ehatti/peridot) |

## Repository

A fast functional language based on two level type theory

Archived: this repository is read-only

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Haskell

- [nix-community/nix-vscode-extensions · ★ 399 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/nix-community/nix-vscode-extensions)
- [haskell-numerics/hmatrix · ★ 398 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/haskell-numerics/hmatrix)
- [nomeata/incredible · ★ 398 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/nomeata/incredible)
- [ekmett/ad · ★ 390 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/ekmett/ad)
- [well-typed/optics · ★ 389 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/well-typed/optics)
- [knupfer/haskell-emacs · ★ 387 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/knupfer/haskell-emacs)

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