crowell/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Sep 28, 2026
crowell / lurker
A well-mannered but not well-behaved useful IRC bot.
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.
#12839109GitHub System ID
crowellOrganization / User
PublicVisibility
ActiveCatalog Status
More from crowell
crowell/gbadev.ios
Automatically exported from code.google.com/p/gbadev.ios
crowell/gbadev.kernel
Automatically exported from code.google.com/p/gbadev.kernel
crowell/gbadev.armboot
Automatically exported from code.google.com/p/gbadev.armboot