<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
flux-rs/flux
Refinement Types for Rust
Rust
Stars 801
Forks 28
Watchers 801
Open issues 76
License MIT License
Details
仓库信息
Owner
flux-rs
Homepage
https://flux-rs.github.io/flux/
GitHub
https://github.com/flux-rs/flux
Last pushed
2025-12-13
Last updated
2025-12-13
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--