greyblake/nutype

Runtime validation for static types

Some more derive(Trait) options

derive(Error) for struct and enum error types

Creusot helps you prove your Rust code is correct.

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

A model checker for Rust programs.

Function argument validation for humans

🏷 A wrapper type for safer, expressive code.

TypeScript's 1:1 validator, optimized from editor to runtime