# brendanzab/rust-nbe-for-mltt

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

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

brendanzab/rust-nbe-for-mltt has 104 stars on GitHub. Its RepoMasters card: Prototype tier. Normalization by evaluation for Martin-Löf Type Theory with…

| Field | Value |
| --- | --- |
| Owner | [brendanzab](https://repo.masters-masters.com/en/owners/brendanzab) |
| Stars | 104 |
| Forks | 5 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2018 |
| Topics | rust, dependent-types, normalization-by-evaluation, bidirectional-typechecking, semantic-typechecking, type-theory, dependent-record-types, dependent-records, debruijn-indices, type-system |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [brendanzab/rust-nbe-for-mltt](https://github.com/brendanzab/rust-nbe-for-mltt) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by brendanzab

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

## Nearby in Rust

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

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