abailly/knossos
Verifies the linearizability of experimentally accessible histories.
Public GitHub Catalog
Discovered Sep 30, 2026
abailly / ci-vagrant
Vagrantfile to create a complete CI and Dev machine for Java
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.
#18853568GitHub 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/raft-for-dummies
reveal.js slideshow on Raft Consensus protocol