Doug Woos's repositories
company-coq
Company-mode backend for Proof General's coq-mode
dungeon-sheets
A tool to create character sheets and GM session notes for Dungeons and Dragons fifth edition (D&D 5e).
gcal-to-org
A simple little CLI tool to export your google calendar into org-mode.
logcabin
LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.
neveragaindottech.github.io
Source files for the neveragain.tech site
protojson
Deserialize protocol buffers into json
pxt-scheduler
MakeCode extension for scheduled events
pyret-docs
The documentation for Pyret.
redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
runway-browser
Interactive visualization framework for Runway models of distributed systems
skyhook
hooknook for the stars
songsfromthebox
Songs from the box
StructTact
Coq utility and tactic library.
tango-plus-theme
Color theme for Emacs loosely based on the tango palette
tapir
TAPIR distributed transactional storage system
verdi
A framework for formally verifying distributed systems implementations in Coq
verdi-raft
Verification of the Raft consensus protocol in the Verdi framework
verdi-runtime
Verdi framework runtime library