Baha/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Sep 25, 2026
Baha / Yet-Another-Lempel-Ziv-Encoder
A Lempel-Ziv Encoder built in C++
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#4444312GitHub System ID
BahaOrganization / User
PublicVisibility
ActiveCatalog Status
More from Baha
Baha/port-comm
Test of port communication with Erlang and Python
Baha/tuenti-challenge-4
Public repository.
Baha/comp-ling_project
Public repository.