Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
packagist.org "invariant" keyword
Top 3.9% on packagist.org
17 versions - Latest release: over 7 years ago - 6 dependent packages - 19 dependent repositories - 53.7 thousand downloads total - 41 stars on GitHub - 1 maintainer
hoa/praspel 1.17.01.10
The Hoa\Praspel library.17 versions - Latest release: over 7 years ago - 6 dependent packages - 19 dependent repositories - 53.7 thousand downloads total - 41 stars on GitHub - 1 maintainer
serafim/dbc 0.3.2
Design by Contract framework for PHP5 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 1.28 thousand downloads total - 3 stars on GitHub - 1 maintainer
hediet/contracts v0.1.0 💰
A library which helps to specify, check and reflect code contracts.1 version - Latest release: about 9 years ago - 5 dependent repositories - 46 downloads total - 1 stars on GitHub - 1 maintainer
appserver-io/pbc 0.3.6
A lightweight Design-by-Contract library for PHP1 version - Latest release: over 9 years ago - 1 dependent package - 4 dependent repositories - 107 downloads total - 3 maintainers
concilio/contractor
Based on hediet/contracts. A library which helps to specify, check and reflect code contracts. Fa...Latest release: about 2 months ago - 23 downloads total - 1 maintainer
Top 9.8% on packagist.org
7 versions - Latest release: almost 10 years ago - 3 dependent packages - 5 dependent repositories - 2.28 thousand downloads total - 14 stars on GitHub - 3 maintainers
techdivision/php-by-contract 0.3.4
A lightweight Design-by-Contract library for PHP7 versions - Latest release: almost 10 years ago - 3 dependent packages - 5 dependent repositories - 2.28 thousand downloads total - 14 stars on GitHub - 3 maintainers
Top 3.6% on packagist.org
8 versions - Latest release: about 10 years ago - 8 dependent packages - 11 dependent repositories - 45.7 thousand downloads total - 1 maintainer
nunzion/php-expect 1.1.0
An expressive but lightweight library to validate preconditions and invariants.8 versions - Latest release: about 10 years ago - 8 dependent packages - 11 dependent repositories - 45.7 thousand downloads total - 1 maintainer
Related Keywords
precondition
6
contract
5
validation
4
dbc
3
exception
3
assert
3
postcondition
3
assertion
3
argument
3
library
3
Design-by-Contract
2
code
2
php
2
expect
1
verify
1
ensure
1
design-by-contracts
1
contracts
1
testing
1
specification-language
1
realistic-domains
1
hoa
1
contract-coverage-criteria
1
contract-based-testing
1
constraint-solver
1
praspel
1
specification
1
generation
1
test
1