https://gitlab.com/karroffel/contracts

A Rust crate that implements "design by contract" via procedural macros
https://gitlab.com/karroffel/contracts

Last synced: about 2 months ago
JSON representation

A Rust crate that implements "design by contract" via procedural macros

• Host: gitlab.com
• URL: https://gitlab.com/karroffel/contracts
• Owner: karroffel
• License: mpl-2.0
• Created: 2019-04-05T11:13:44.463Z (about 6 years ago)
• Default Branch: master
• Last Synced: 2025-04-29T12:05:48.757Z (about 2 months ago)
• Stars: 28
• Forks: 5
• Open Issues: 9

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - contracts - implements "[Design By Contract](https://en.wikipedia.org/wiki/Design_by_contract)" via procedural macros. (Projects / Verification)