GitHub repository: x52dev/contracts
Primary language: Rust
Description: A Rust crate that implements "design by contract" via procedural macros