abailly/knossos
Verifies the linearizability of experimentally accessible histories.
Public GitHub Catalog
Discovered Oct 1, 2026
abailly / parsec-workshop
Code for running a Parsec/JParsec workshop
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.
#20197574GitHub System ID
abaillyOrganization / User
PublicVisibility
ActiveCatalog Status
More from abailly
abailly/cinder
Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.
abailly/jepsen
Call Me Maybe: simulating network partitions in DBs
abailly/ci-vagrant
Vagrantfile to create a complete CI and Dev machine for Java