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: 14 days ago
First release: about 2 years ago
Dependent packages: 8
Dependent repositories: 7
Downloads: 39,278 last month
Stars: 9,757 on GitHub
Forks: 1,442 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: about 8 hours ago

klee 3.1
Symbolic Execution Engine
4 versions - Latest release: 2 days ago - 233 downloads last month
Top 1.3% on formulae.brew.sh
llvm 18.1.4
Next-gen compiler infrastructure
23 versions - Latest release: 8 days ago - 30 dependent packages - 215 dependent repositories - 46.2 thousand downloads last month
dafny 4.6.0
Verification-aware programming language
22 versions - Latest release: about 1 month ago - 1 dependent repositories - 174 downloads last month - 2,765 stars on GitHub
Top 9.1% on formulae.brew.sh
apache-arrow 15.0.2
Columnar in-memory analytics layer designed to accelerate big data
16 versions - Latest release: about 1 month ago - 4 dependent packages - 5 dependent repositories - 12.3 thousand 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
civl 1.22-5854
Concurrency Intermediate Verification Language
2 versions - Latest release: 6 months ago - 89 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: 7 months ago - 2 dependent packages - 25 dependent repositories - 1.88 thousand downloads last month
llvm@16 16.0.6
Next-gen compiler infrastructure
1 version - Latest release: 8 months ago - 5 dependent packages - 1.32 thousand downloads last month