← Back to Discover
rust-lang

rust-lang/a-mir-formality

RustApache-2.0active
70Health

a model of MIR and the Rust type/trait system

Stars370
Forks81
Open Issues116
Contributors81
Last Push0d ago

Health Breakdown

Activity
25
Community
13
Maintenance
7
Popularity
25
View on GitHub ↗Issues (116) ↗Pull Requests ↗Wiki ↗

Should you contribute to rust-lang/a-mir-formality?

rust-lang/a-mir-formality has a FoundDev health score of 70/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

rust-lang70

a model of MIR and the Rust type/trait system

active
★ 37081 contributors116 issues
0d ago

More Rust repos

MystenLabs
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
★ 7.8k97
tari-project
tari-project/tari
The Tari protocol
★ 49993
otter-sec
otter-sec/anchor
⚓ Solana Program Framework
★ 5.2k92