sashka/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Oct 6, 2026
sashka / density
Superfast compression library
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#33023825GitHub System ID
sashkaOrganization / User
PublicVisibility
ActiveCatalog Status
More from sashka
sashka/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
sashka/forsnapshotfs
Storage for incremental backup/snapshots (as single big files)
sashka/shortid
Short id generator. Url-friendly. Non-predictable. Cluster-compatible.