Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 4.8% on formulae.brew.sh
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

llvm@16 16.0.6
Next-gen compiler infrastructure
1 version - Latest release: 8 months ago - 9 dependent packages - 9.27 thousand downloads last month
Top 9.1% on formulae.brew.sh
zig 0.11.0
Programming language designed for robustness, optimality, and clarity
4 versions - Latest release: 8 months ago - 3 dependent packages - 25 dependent repositories - 1.88 thousand downloads last month
civl 1.22-5854
Concurrency Intermediate Verification Language
2 versions - Latest release: 6 months ago - 75 downloads last month
cryptol 3.1.0
Domain-specific language for specifying cryptographic algorithms
4 versions - Latest release: 2 months ago - 41 downloads last month
dafny 4.6.0
Verification-aware programming language
22 versions - Latest release: about 2 months ago - 1 dependent repositories - 174 downloads last month - 2,765 stars on GitHub
klee 3.1
Symbolic Execution Engine
4 versions - Latest release: 15 days ago - 233 downloads last month
Top 1.3% on formulae.brew.sh
llvm 18.1.5
Next-gen compiler infrastructure
24 versions - Latest release: 4 days ago - 34 dependent packages - 215 dependent repositories - 65 thousand downloads last month
Top 9.1% on formulae.brew.sh
apache-arrow 16.0.0
Columnar in-memory analytics layer designed to accelerate big data
17 versions - Latest release: 3 days ago - 4 dependent packages - 5 dependent repositories - 11 thousand downloads last month