# rust-lang/a-mir-formality

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

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

rust-lang/a-mir-formality, dépôt open source à 370 étoiles sur GitHub. Carte Alpha de RepoMasters. a model of MIR and the Rust type/trait system Langage : Rust.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [rust-lang](https://repo.masters-masters.com/owners/rust-lang) |
| Étoiles | 370 |
| Forks | 81 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2022 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [rust-lang/a-mir-formality](https://github.com/rust-lang/a-mir-formality) |

## Fiche du dépôt

a model of MIR and the Rust type/trait system

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de rust-lang

- [rust-lang/rust · ★ 121 000 · Rust · LTS](https://repo.masters-masters.com/repos/rust-lang/rust)
- [rust-lang/rustlings · ★ 64 553 · Rust · LTS](https://repo.masters-masters.com/repos/rust-lang/rustlings)
- [rust-lang/mdBook · ★ 22 262 · Rust · LTS](https://repo.masters-masters.com/repos/rust-lang/mdBook)
- [rust-lang/book · ★ 18 505 · Rust · Stable](https://repo.masters-masters.com/repos/rust-lang/book)
- [rust-lang/rust-analyzer · ★ 16 966 · Rust · Stable](https://repo.masters-masters.com/repos/rust-lang/rust-analyzer)
- [rust-lang/cargo · ★ 15 665 · Rust · Stable](https://repo.masters-masters.com/repos/rust-lang/cargo)

## D’autres dépôts Rust

- [manic-systems/dix · ★ 370 · Rust · Alpha](https://repo.masters-masters.com/repos/manic-systems/dix)
- [nbafrank/uvr · ★ 370 · Rust · Alpha](https://repo.masters-masters.com/repos/nbafrank/uvr)
- [Apeireth/Apeireth · ★ 370 · Rust · Alpha](https://repo.masters-masters.com/repos/Apeireth/Apeireth)
- [minio/minio-rs · ★ 370 · Rust · Alpha](https://repo.masters-masters.com/repos/minio/minio-rs)
- [zhangyuang/leetcode · ★ 370 · Rust · Alpha](https://repo.masters-masters.com/repos/zhangyuang/leetcode)
- [jneem/nnnoiseless · ★ 370 · Rust · Alpha](https://repo.masters-masters.com/repos/jneem/nnnoiseless)

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