Hacker GitHub

← All repos

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

Mentions per year 6 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …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. 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
  3. 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
  4. …//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