flux-rs/flux

Refinement Types for Rust

3 best points · 0 comments · 2 Hacker News posts · 936 GitHub stars · View on GitHub

Hacker News discussions

• Flux is a refinement type checker for Rust (3 points, 0 comments, by weinzierl, 2023-06-02)
• Refinement types for Rust (2 points, 0 comments, by AsyncBanana, 2026-07-31)