Rust
Refinement types for Rust: parse, don't validate. Narrow values at the boundary; trust them downstream.
Latest commits.
Builders behind this project.