flux-rs/flux

Refinement Types for Rust

915

stars

1,958

commits

Rust

primary language

Sep 11, 2026

updated

flux-rs.github.io/flux/

refinement-types

rust

README

Flux is a refinement type checker for Rust.

Help and Discussions

If you need help using Flux or would like to discuss, you can post on the discussions forum or join our Zulip chat!

Online Demo

You can try Flux online at this site.

Overview

For an overview, take a look at the Flux website.

Docs

Documentation, including installation and usage guides can be found on the website.

Sponsors

Zulip — Zulip Cloud Standard generously provided free of charge.

Contributors

(top 30 of 31)

1,369 commits

354 commits

45 commits

43 commits

See what people are saying

Hacker News (1)

The Case Against Formal Verification, 50 Years Later

0 points · Aug 17, 2026

Similar repos

rust-lang/types-team

Home of the "types team", affiliated with the compiler and lang teams.

rust-lang/reference

The Rust Reference

1,550

facebook/flow

Adds static typing to JavaScript to improve developer productivity and code quality.

22,281

rust-lang/rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

64,120

bazelbuild/rules_rust

Rust rules for Bazel

841

foundry-rs/foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development…

10,592

mozilla/rust

Empowering everyone to build reliable and efficient software.

118,020

hacspec/hacspec-v2

A Rust verification tool

474

Languages

Rust

94.4%

TypeScript

2.1%

CSS

1.3%

JavaScript

1.2%

flux-rs/flux

Refinement Types for Rust

915

stars

1,958

commits

Rust

primary language

Sep 11, 2026

updated

flux-rs.github.io/flux/

refinement-types

rust

README

Flux is a refinement type checker for Rust.

Help and Discussions

If you need help using Flux or would like to discuss, you can post on the discussions forum or join our Zulip chat!

Online Demo

You can try Flux online at this site.

Overview

For an overview, take a look at the Flux website.

Docs

Documentation, including installation and usage guides can be found on the website.

Sponsors

Zulip — Zulip Cloud Standard generously provided free of charge.

See what people are saying

Hacker News (1)

The Case Against Formal Verification, 50 Years Later

0 points · Aug 17, 2026

Similar repos

rust-lang/types-team

Home of the "types team", affiliated with the compiler and lang teams.

rust-lang/reference

The Rust Reference

1,550

facebook/flow

Adds static typing to JavaScript to improve developer productivity and code quality.

22,281

rust-lang/rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

64,120

bazelbuild/rules_rust

Rust rules for Bazel

841

foundry-rs/foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development…

10,592

mozilla/rust

Empowering everyone to build reliable and efficient software.

118,020

hacspec/hacspec-v2

A Rust verification tool

474

Contributors

(top 30 of 31)

1,369 commits

354 commits

45 commits

43 commits

Languages

Rust

94.4%

TypeScript

2.1%

CSS

1.3%

JavaScript

1.2%