rust-lang/a-mir-formality

a model of MIR and the Rust type/trait system

Rust347 stars65 forksApache-2.0

Momentum

rust-lang/a-mir-formality has 347 GitHub stars.

It currently ranks #25424 daily, #26008 weekly, #28118 monthly by momentum on Trending Repos; its best-ever rank is #5546.

Rankings

PeriodRankScore

Daily

#254240.0

Weekly

#260080.0

Monthly

#281180.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #5546

Format

Markdown

[![rust-lang/a-mir-formality badge](https://trending-repos.com/badge/rust-lang/a-mir-formality.svg?v=3)](https://trending-repos.com/repositories/rust-lang/a-mir-formality?utm_source=github&utm_medium=badge)

rust-lang/a-mir-formality

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

rust-lang/a-mir-formality

Momentum

Rankings

Engagement

Similar trending repositories

Embeds