# owo-lang/minitt-rs

<https://repo.masters-masters.com/en/repos/owo-lang/minitt-rs>

[Home](https://repo.masters-masters.com/en) › [owo-lang](https://repo.masters-masters.com/en/owners/owo-lang) › [minitt-rs](https://repo.masters-masters.com/en/repos/owo-lang/minitt-rs)

owo-lang/minitt-rs has 123 stars on GitHub. Its RepoMasters card: Prototype tier. Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

| Field | Value |
| --- | --- |
| Owner | [owo-lang](https://repo.masters-masters.com/en/owners/owo-lang) |
| Stars | 123 |
| Forks | 5 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2019 |
| Topics | type-theory, dependent-types, programming-language |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [owo-lang/minitt-rs](https://github.com/owo-lang/minitt-rs) |

## Repository

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

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

## More repos by owo-lang

- [owo-lang/voile-rs · ★ 100 · Rust · Prototype](https://repo.masters-masters.com/en/repos/owo-lang/voile-rs)

## Nearby in Rust

- [Jorji49/streamtop · ★ 123 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Jorji49/streamtop)
- [ghuntley/preflight · ★ 123 · Rust · Prototype](https://repo.masters-masters.com/en/repos/ghuntley/preflight)
- [LinkSy-mg/linksy-desktop · ★ 123 · Rust · Prototype](https://repo.masters-masters.com/en/repos/LinkSy-mg/linksy-desktop)
- [Geal/rust-syslog · ★ 123 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Geal/rust-syslog)
- [gnzlbg/ctest · ★ 123 · Rust · Prototype](https://repo.masters-masters.com/en/repos/gnzlbg/ctest)
- [martindeegan/drone · ★ 123 · Rust · Prototype](https://repo.masters-masters.com/en/repos/martindeegan/drone)

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