flux-rs / flux

git clone https://github.com/flux-rs/flux.git

Refinement Types for Rust

stars, 24h · #18,866

+~2

stars, 7 days · #28,145

+~10

stars, 30 days · #31,710

929

★ total · +0% this week

forks · 154 open issues

2026-10-20 · 928 ★ 2026-10-23 · 929 ★

LanguageRust

LicenseMIT

Created2021-02-18 (5y ago)

Last pushtoday

OwnerOrganization