GitHub repository: nrc/libhoare
Primary language: Rust
Description: Design by contract style assertions for Rust