William Schultz's repositories
tlaplus_animation
A TLA+ module for animating TLC traces.
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-tla-refinement
Exploring refinement of log replication specifications in TLA+.
faster-local-testing
Scripts for analyzing MongoDB JS test performance.
latex-action-test
Test building LaTeX PDF on Github.
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
tree-sitter-tlaplus
A tree-sitter grammar for TLA+