William Schultz's repositories
tlaplus_repl
A simple REPL for TLA+.
mongo-repl-tla-models
TLC models for the MongoDB Replication TLA+ specification.
logless-reconfig
TLA+ Specification of Logless Dynamic Reconfiguration in MongoDB Replication
MP-69D-Scoreboard-Decoder
Arduino code and a Python script for decoding the data signal from the Fairplay MP-69D scoreboard controller unit.
mongo-repl-tla
TLA+ Specification of the MongoDB Replication Protocol
will62794.github.io
My personal website.
mongo-repl-reconfig
TLA+ spec of reconfiguration in MongoDB replication.
raft-by-refinement
Exploring refinement-based specification of the Raft consensus protocol.
CC-BY-4.0000
latex-action-test
Test building LaTeX PDF on Github.
on-epaxos-correctness
On the correctness of Egalitarian Paxos
Language:TeX000
tree-sitter-tlaplus
A tree-sitter grammar for TLA+