flux-rs/flux
View on GitHub ↗ ★ 939 Rust
Refinement Types for Rust
6 mentions on Hacker News by 6 people: 2 stories, 4 comments · first 2023-06-02 · latest 2026-08-17
20082026
-
…in a rough order of approachability by a working programmer: https://github.com/model-checking/kani https://github.com/flux-rs/flux https://github.com/viperproject/prusti-dev https://creusot.rs/ I really wish one of these projects…
comment by yencabulator · 2026-08-17 · in The Case Against Formal Verification, 50 Years Later -
▲ 2
Refinement types for Ruststory by AsyncBanana · 2026-07-31 · 0 comments
-
I am eagerly following https://github.com/flux-rs/flux https://flux-rs.github.io/flux/ They have a development pace very quick and can verify real world Rust code. There's a huge graveyard of Rust verification tools, but I hope this one…
comment by nextaccountic · 2026-05-20 · in Intro to TLA+ for the LLM Era: Prompt Your Way to Victory -
For integer overflows and array out of bounds I'm quite optimistic about Flux https://github.com/flux-rs/flux I haven't actually used it but I do have experience of refinement types / liquid types (don't ask me about the nomenclature) and…
comment by IshKebab · 2025-04-06 · in Pitfalls of Safe Rust -
…//goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf [3] https://ucsd-progsys.github.io/liquidhaskell/ [4] https://github.com/flux-rs/flux
comment by mynameismon · 2024-07-23 · in Types as Interfaces -
▲ 3
Flux is a refinement type checker for Ruststory by weinzierl · 2023-06-02 · 0 comments