Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 4.5% downloads on pypi.org
Top 6.0% dependent repos on pypi.org
Top 6.1% forks on pypi.org
pypi.org : crosshair-tool
Analyze Python code for correctness using symbolic execution.
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/crosshair-tool
Keywords: concolic-execution, contracts, dynamic-analysis, fuzzing, hacktoberfest, python, static-analysis, symbolic-execution, testing, testing-framework, type-systems, z3
License: MIT
Latest release: 2 months ago
First release: over 4 years ago
Dependent packages: 2
Dependent repositories: 6
Downloads: 8,847 last month
Stars: 945 on GitHub
Forks: 47 on GitHub
Total Commits: 1548
Committers: 21
Average commits per author: 73.714
Development Distribution Score (DDS): 0.341
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago