GitHub repository: matthiasg/eiffel
Primary language: Rust
Created: 2024-02-21T15:44:00Z
Description: Rust crate with some macros for defining invariants inspired by the Eiffel language