Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://gitlab.com/karroffel/contracts

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

Last synced: 3 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 (over 5 years ago)
Default Branch: master
Last Synced: 2024-05-22T20:31:56.982Z (6 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)