← Back to Discover
flux-rs

flux-rs/flux

RustMITactive
79Health

Refinement Types for Rust

Stars924
Forks46
Open Issues131
Contributors46
Last Push0d ago

Health Breakdown

Activity
25
Community
19
Maintenance
10
Popularity
25
#refinement-types#rust
View on GitHub ↗Issues (131) ↗Pull Requests ↗Wiki ↗

Should you contribute to flux-rs/flux?

flux-rs/flux has a FoundDev health score of 79/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under MIT, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

flux-rs79

Refinement Types for Rust

active
★ 92446 contributors131 issues
0d ago

More Rust repos

ProvableHQ
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
★ 1.2k95
ProvableHQ
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
★ 4.5k94
0x676e67
0x676e67/wreq-util
Common utilities for wreq
★ 9392