# gwaithimirdain/narya

<https://repo.masters-masters.com/en/repos/gwaithimirdain/narya>

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

gwaithimirdain/narya has 315 stars on GitHub. Its RepoMasters card: Alpha tier. A proof assistant for higher-dimensional type theory Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [gwaithimirdain](https://repo.masters-masters.com/en/owners/gwaithimirdain) |
| Stars | 315 |
| Forks | 30 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | GPL-3.0 |
| Created | 2023 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [gwaithimirdain/narya](https://github.com/gwaithimirdain/narya) |

## Repository

A proof assistant for higher-dimensional type theory

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

## Nearby in OCaml

- [talex5/cuekeeper · ★ 316 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/talex5/cuekeeper)
- [caradoc-org/caradoc · ★ 316 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/caradoc-org/caradoc)
- [herd/herdtools7 · ★ 316 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/herd/herdtools7)
- [rossberg/1ml · ★ 303 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/rossberg/1ml)
- [nlsandler/nqcc · ★ 303 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/nlsandler/nqcc)
- [geoffder/dometyl-keyboard · ★ 303 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/geoffder/dometyl-keyboard)

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