Flux: Refinement Types for Rust

Hi all, we've been building \Flux\\ a refinement type checker plugin for rust, that lets you constrain Rust's types with logical assertions that can be used to specify and verify various correctness requirements at compile-time.

• Here's Nico Lehmann's (the lead developer) talk introducing Flux
• A series of posts describing refinements, ownership , and how to build a safe vector API with Flux.