Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
Hoa Project:
github.com/hoaproject/Praspel
The Hoa\Praspel library.
https://github.com/hoaproject/Praspel
Project activity
New Projects: 0
New Releases: 0
New Issues: 0
New Pull Requests: 0
Closed Issues: 0
Merged Pull Requests: 0
Closed Pull Requests: 0
Issue Authors: 0
Pull Request Authors: 0
Active Maintainers: 0
Time to close issues:
N/A
Time to merge pull requests:
N/A
Time to close pull requests:
N/A
Commit Stats
Commits: 0
Commit Authors: 0
Commit Committers: 0
Additions: 0
Deletions: 0
constraint-solver contract-based-testing contract-coverage-criteria hoa library php praspel realistic-domains specification-language testing
Last synced: about 16 hours ago
JSON representation
The Hoa\Praspel library.
- Host: GitHub
- URL: https://github.com/hoaproject/Praspel
- Owner: hoaproject
- Archived: true
- Created: 2012-11-23T15:41:18.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2017-01-10T13:09:11.000Z (almost 8 years ago)
- Last Synced: 2024-10-30T00:00:43.273Z (about 2 months ago)
- Topics: constraint-solver, contract-based-testing, contract-coverage-criteria, hoa, library, php, praspel, realistic-domains, specification-language, testing
- Language: PHP
- Homepage: https://hoa-project.net
- Size: 343 KB
- Stars: 40
- Watchers: 13
- Forks: 7
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md