# rust-lang/a-mir-formality

<https://repo.masters-masters.com/en/repos/rust-lang/a-mir-formality>

[Home](https://repo.masters-masters.com/en) › [rust-lang](https://repo.masters-masters.com/en/owners/rust-lang) › [a-mir-formality](https://repo.masters-masters.com/en/repos/rust-lang/a-mir-formality)

rust-lang/a-mir-formality has 369 stars on GitHub. Its RepoMasters card: Alpha tier. a model of MIR and the Rust type/trait system Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [rust-lang](https://repo.masters-masters.com/en/owners/rust-lang) |
| Stars | 369 |
| Forks | 81 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2022 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [rust-lang/a-mir-formality](https://github.com/rust-lang/a-mir-formality) |

## Repository

a model of MIR and the Rust type/trait system

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

## More repos by rust-lang

- [rust-lang/rust · ★ 121,036 · Rust · LTS](https://repo.masters-masters.com/en/repos/rust-lang/rust)
- [rust-lang/rustlings · ★ 64,550 · Rust · LTS](https://repo.masters-masters.com/en/repos/rust-lang/rustlings)
- [rust-lang/mdBook · ★ 22,262 · Rust · LTS](https://repo.masters-masters.com/en/repos/rust-lang/mdBook)
- [rust-lang/book · ★ 18,506 · Rust · Stable](https://repo.masters-masters.com/en/repos/rust-lang/book)
- [rust-lang/rust-analyzer · ★ 16,966 · Rust · Stable](https://repo.masters-masters.com/en/repos/rust-lang/rust-analyzer)
- [rust-lang/cargo · ★ 15,669 · Rust · Stable](https://repo.masters-masters.com/en/repos/rust-lang/cargo)

## Nearby in Rust

- [rainnoon/oc-claw · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/rainnoon/oc-claw)
- [gmkurtzer/ginux · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/gmkurtzer/ginux)
- [ShineFinancialStrut/game-server-route-racer · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/ShineFinancialStrut/game-server-route-racer)
- [mongodb-labs/mongo-rust-driver-prototype · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/mongodb-labs/mongo-rust-driver-prototype)
- [rust-psutil/rust-psutil · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/rust-psutil/rust-psutil)
- [poanetwork/hbbft · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/poanetwork/hbbft)

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