# brendanzab/rust-nbe-for-mltt

<https://repo.masters-masters.com/repos/brendanzab/rust-nbe-for-mltt>

[Accueil](https://repo.masters-masters.com/) › [brendanzab](https://repo.masters-masters.com/owners/brendanzab) › [rust-nbe-for-mltt](https://repo.masters-masters.com/repos/brendanzab/rust-nbe-for-mltt)

brendanzab/rust-nbe-for-mltt, dépôt open source à 104 étoiles sur GitHub. Carte Prototype de RepoMasters. Normalization by evaluation for Martin-Löf Type…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [brendanzab](https://repo.masters-masters.com/owners/brendanzab) |
| Étoiles | 104 |
| Forks | 5 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2018 |
| Sujets | rust, dependent-types, normalization-by-evaluation, bidirectional-typechecking, semantic-typechecking, type-theory, dependent-record-types, dependent-records, debruijn-indices, type-system |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [brendanzab/rust-nbe-for-mltt](https://github.com/brendanzab/rust-nbe-for-mltt) |

## Fiche du dépôt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de brendanzab

- [brendanzab/codespan · ★ 1 300 · Rust · Bêta](https://repo.masters-masters.com/repos/brendanzab/codespan)
- [brendanzab/language-garden · ★ 349 · OCaml · Alpha](https://repo.masters-masters.com/repos/brendanzab/language-garden)
- [brendanzab/approx · ★ 190 · Rust · Prototype](https://repo.masters-masters.com/repos/brendanzab/approx)

## D’autres dépôts Rust

- [hivepaas/shellwing · ★ 104 · Rust · Prototype](https://repo.masters-masters.com/repos/hivepaas/shellwing)
- [Kryzern/Heimdall · ★ 104 · Rust · Prototype](https://repo.masters-masters.com/repos/Kryzern/Heimdall)
- [vicotrbb/cubebot · ★ 104 · Rust · Prototype](https://repo.masters-masters.com/repos/vicotrbb/cubebot)
- [tomjakubowski/json\_macros · ★ 104 · Rust · Prototype](https://repo.masters-masters.com/repos/tomjakubowski/json_macros)
- [ogham/rust-users · ★ 104 · Rust · Prototype](https://repo.masters-masters.com/repos/ogham/rust-users)
- [untitaker/rust-atomicwrites · ★ 104 · Rust · Prototype](https://repo.masters-masters.com/repos/untitaker/rust-atomicwrites)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.