draftcode/sandal
A fault-aware model checker for message passing systems
Public GitHub Catalog
Discovered Sep 25, 2026
draftcode / ProgrammingInHaskell
Public repository discovered through GitHub real-time crawl.
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.
#2898566GitHub System ID
draftcodeOrganization / User
PublicVisibility
ActiveCatalog Status
More from draftcode
draftcode/goyacc_sample
Public repository.
draftcode/extreme_timeout
Timeout from the outside of the GVL.
draftcode/minkey
Public repository.