Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.2% downloads on formulae.brew.sh
Top 3.3% dependent packages on formulae.brew.sh
Top 1.6% forks on formulae.brew.sh
formulae.brew.sh : z3
High-performance theorem prover
Registry
-
Source
- JSON
purl: pkg:brew/z3
License: MIT
Latest release: 26 days ago
First release: about 2 years ago
Dependent packages: 8
Dependent repositories: 7
Downloads: 44,039 last month
Stars: 9,801 on GitHub
Forks: 1,448 on GitHub
Total Commits: 15684
Committers: 315
Average commits per author: 49.79
Development Distribution Score (DDS): 0.429
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago
apache-arrow 16.0.0
Columnar in-memory analytics layer designed to accelerate big data17 versions - Latest release: 3 days ago - 4 dependent packages - 5 dependent repositories - 11 thousand downloads last month
civl 1.22-5854
Concurrency Intermediate Verification Language2 versions - Latest release: 6 months ago - 75 downloads last month
cryptol 3.1.0
Domain-specific language for specifying cryptographic algorithms4 versions - Latest release: 2 months ago - 41 downloads last month
dafny 4.6.0
Verification-aware programming language22 versions - Latest release: about 2 months ago - 1 dependent repositories - 174 downloads last month - 2,765 stars on GitHub
klee 3.1
Symbolic Execution Engine4 versions - Latest release: 15 days ago - 233 downloads last month
llvm 18.1.5
Next-gen compiler infrastructure24 versions - Latest release: 4 days ago - 34 dependent packages - 215 dependent repositories - 65 thousand downloads last month
llvm@16 16.0.6
Next-gen compiler infrastructure1 version - Latest release: 8 months ago - 9 dependent packages - 9.27 thousand downloads last month
zig 0.11.0
Programming language designed for robustness, optimality, and clarity4 versions - Latest release: 8 months ago - 3 dependent packages - 25 dependent repositories - 1.88 thousand downloads last month