Baha/port-comm
Test of port communication with Erlang and Python
Public GitHub Catalog
Discovered Oct 18, 2026
Baha / z3
The Z3 Theorem Prover
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.
#39380581GitHub System ID
BahaOrganization / User
PublicVisibility
ActiveCatalog Status
More from Baha
Baha/tuenti-challenge-4
Public repository.
Baha/comp-ling_project
Public repository.
Baha/biom_project
An implementation of the Schneiderman & Kanade algorithm for face detection using Matlab