abailly/parsec-workshop
Code for running a Parsec/JParsec workshop
Public GitHub Catalog
Discovered Sep 30, 2026
abailly / knossos
Verifies the linearizability of experimentally accessible histories.
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.
#19754412GitHub 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