GIT_FEED

rust-lang/a-mir-formality

a model of MIR and the Rust type/trait system

View on GitHub
0Active

On the radar — signal detected

Stars
338
Forks
58
Contributors
31
Language
Rust

Score updated Apr 7, 2026

// SUBSCRIBE

The repos that moved this week, why they matter, and what to watch next. One email. No noise.