Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 4.8% downloads on packagist.org
Top 2.7% dependent packages on packagist.org
Top 2.6% dependent repos on packagist.org
Top 5.7% forks on packagist.org
packagist.org : hoa/praspel
The Hoa\Praspel library.
Registry
-
Source
- Homepage
- JSON
purl: pkg:composer/hoa/praspel
Keywords: library, test, validation, generation, specification, praspel, contract, precondition, postcondition, invariant, constraint-solver, contract-based-testing, contract-coverage-criteria, hoa, php, realistic-domains, specification-language, testing
License: BSD-3-Clause
Latest release: over 7 years ago
First release: over 9 years ago
Namespace: hoa
Dependent packages: 6
Dependent repositories: 19
Downloads: 52,860 total
Stars: 41 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago