Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://gitlab.com/karroffel/contracts
A Rust crate that implements "design by contract" via procedural macros
https://gitlab.com/karroffel/contracts
Last synced: about 1 month 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 5 years ago)
- Default Branch: master
- Last Synced: 2024-05-09T05:18:16.297Z (about 2 months ago)
- Stars: 28
- Forks: 5
- Open Issues: 9
Lists
- awesome-rust-formalized-reasoning - contracts - implements "[Design By Contract](https://en.wikipedia.org/wiki/Design_by_contract)" via procedural macros. (Projects / Verification)