Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
rust-lang

a-mir-formality

rust-lang/a-mir-formality

a model of MIR and the Rust type/trait system

327stars
View on GitHub
Forks
45
Open issues
63
Watchers
327
Size
3.1 MB
RustApache License 2.0
Created: Feb 6, 2022
Updated: Feb 25, 2026
Last push: Feb 25, 2026