draftcode/misc
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
draftcode / sandal
A fault-aware model checker for message passing systems
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.
#16640991GitHub System ID
draftcodeOrganization / User
PublicVisibility
ActiveCatalog Status
More from draftcode
draftcode/git-panini
Public repository.
draftcode/goyacc_sample
Public repository.
draftcode/extreme_timeout
Timeout from the outside of the GVL.