Pinned Repositories
consensus-tlaplus
dandelion-tla
etcd-test
nixos-config
ocaml-tree-diff
OCons
prototyping-testing
A collection of random tests
reckon
stateright
A model checker for implementing distributed systems.
tla_increment
Cjen1's Repositories
Cjen1/reckon
Cjen1/OCons
Cjen1/consensus-tlaplus
Cjen1/prototyping-testing
A collection of random tests
Cjen1/dandelion-tla
Cjen1/etcd-test
Cjen1/nixos-config
Cjen1/stateright
A model checker for implementing distributed systems.
Cjen1/u2pc-tla
Cjen1/aoc
Cjen1/apalache
APALACHE: symbolic model checker for TLA+
Cjen1/ak2022.github.io
Cjen1/braking-distance
Cjen1/Cjen1
Cjen1/cjen1.github.io
Cjen1/conspire_des
Cjen1/eio
Effects-based direct-style IO for multicore OCaml
Cjen1/endive
Tool for automatically inferring inductive invariants of distributed protocols.
Cjen1/epaxos
Cjen1/etcd
Distributed reliable key-value store for the most critical data of a distributed system
Cjen1/Examples
A collection of TLA+ specifications of varying complexities
Cjen1/forester-repo
Cjen1/hwatch
A modern alternative to the watch command, records the differences in execution results and can check this differences at after.
Cjen1/mininet
Emulator for rapid prototyping of Software Defined Networks
Cjen1/nix-templates
Cjen1/raft
Raft library for maintaining a replicated state machine
Cjen1/stable-diffusion
Cjen1/supervisions
Cjen1/tildapp
Cjen1/tla-pygments
A terrible pygments plugin from a terrible human