sbahra/papers-we-love
Papers from the computer science community to read and discuss.
Public GitHub Catalog
Discovered Oct 6, 2026
sbahra / 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.
#33024793GitHub System ID
sbahraOrganization / User
PublicVisibility
ActiveCatalog Status
More from sbahra
sbahra/ASCYLIB
ASCYLIB is a concurrent-search data-structure library with over 30 implementantions of linked lists, hash tables, skip lists, and binary search trees.
sbahra/compass
The Jekyll theme for your personal landing page.
sbahra/rowhammer-test
Public repository.