Illustration: the project’s public image, pixelated by RepoMasters. Credits

BetaRare

flux-rs/flux

Refinement Types for Rust

Owner: flux-rs (organization)
Stars: Stars: 936
Forks: Forks: 47
Language: Rust
License: MIT
Created: 2021
Topics: refinement-typesrust
Tier: Beta (700 to 1,999 ★) What this tier means

Nearby in Rust

Esubaalew/runStars: 938RustBeta
lichess-org/fishnetStars: 936RustBeta
keyvank/femtoGPTStars: 936RustBeta
kahing/catfsStars: 933RustBeta
warycat/rustgymStars: 933RustBeta