abailly/parsec-workshop
Code for running a Parsec/JParsec workshop
Call Me Maybe: simulating network partitions in DBs
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Code for running a Parsec/JParsec workshop
Verifies the linearizability of experimentally accessible histories.
Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.
Vagrantfile to create a complete CI and Dev machine for Java