Pinned Repositories
char-mode
Extensions to org-mode to enable RPG character tracking
christmas-tree
Output a christmas tree if appropriate
cq-challenge-markup
Code Quarterly Code Challenge -- Markup
hackery.py
Hackery, In the Best Way
homebrew
The missing package manager for OS X.
proof-inconsolata
recurly-client-python
Recurly Python Client
reliable-isp
Reliable ISP project for CSE 552
resched
Light-weight Job Scheduling on Redis, in Python
rps
dwoos's Repositories
dwoos/sprig-transforms
dwoos/pxt-scheduler
MakeCode extension for scheduled events
dwoos/cheerios
Formally Verified Serialization Library
dwoos/collatz
dwoos/company-coq
Company-mode backend for Proof General's coq-mode
dwoos/crossbot
A slackbot to compete on mini crosswords (or any other daily challenge).
dwoos/deadbot
Deadline slack bot
dwoos/dslabs
Distributed Systems Labs and Framework
dwoos/dungeon-sheets
A tool to create character sheets and GM session notes for Dungeons and Dragons fifth edition (D&D 5e).
dwoos/gcal-to-org
A simple little CLI tool to export your google calendar into org-mode.
dwoos/hlllvm
dwoos/hubris
A dependently typed programming language, and verification tool
dwoos/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
dwoos/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.
dwoos/minirust
dwoos/neveragaindottech.github.io
Source files for the neveragain.tech site
dwoos/protojson
Deserialize protocol buffers into json
dwoos/pyret-docs
The documentation for Pyret.
dwoos/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
dwoos/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.
dwoos/runway-browser
Interactive visualization framework for Runway models of distributed systems
dwoos/skyhook
hooknook for the stars
dwoos/songsfromthebox
Songs from the box
dwoos/StructTact
Coq utility and tactic library.
dwoos/tango-plus-theme
Color theme for Emacs loosely based on the tango palette
dwoos/tapir
TAPIR distributed transactional storage system
dwoos/verdi
A framework for formally verifying distributed systems implementations in Coq
dwoos/verdi-raft
Verification of the Raft consensus protocol in the Verdi framework
dwoos/verdi-runtime
Verdi framework runtime library
dwoos/z3
The Z3 Theorem Prover