Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "precondition" keyword

View the packages on the crates.io package registry that are tagged with the "precondition" keyword.

Top 9.4% on crates.io
contracts 0.6.6 💰
Design-by-contract attributes
17 versions - Latest release: 3 months ago - 23 dependent packages - 76 dependent repositories - 775 thousand downloads total - 14 stars on GitHub - 1 maintainer
disabled_contracts 0.1.0
A clearly stub version of the `contracts` crate.
1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 49.4 thousand downloads total - 0 stars on GitHub - 2 maintainers
pets 0.1.2
Predicate existential types.
1 version - Latest release: almost 6 years ago - 1.58 thousand downloads total - 1 maintainer
contracts-try 0.7.0
Design-by-contract attributes
1 version - Latest release: 10 months ago - 5.5 thousand downloads total - 0 stars on codeberg.org - 1 maintainer
Related Keywords
design-by-contract 3 invariant 3 postcondition 3 verification 3 predicate 1 refinement-types 1