Pinned Repositories
Asphodel
A turn-based strategy game to fix your spare time
channels
TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
diffscuss
Format for textual, inter-diff code reviews.
fabric
Simple, Pythonic remote execution and deployment.
gevent
Coroutine-based concurrency library for Python
halo
hutbot
An IRC bot that's easy to extend.
prisonerl-driver
The driver for an Erlang Prisoners' Dilemma tournament
prometheus
The Prometheus monitoring system and time series database.
tla-tools
TLA+ tools for Emacs
dmilstein's Repositories
dmilstein/channels
TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
dmilstein/prisonerl-driver
The driver for an Erlang Prisoners' Dilemma tournament
dmilstein/Asphodel
A turn-based strategy game to fix your spare time
dmilstein/tla-tools
TLA+ tools for Emacs
dmilstein/diffscuss
Format for textual, inter-diff code reviews.
dmilstein/fabric
Simple, Pythonic remote execution and deployment.
dmilstein/gevent
Coroutine-based concurrency library for Python
dmilstein/halo
dmilstein/hutbot
An IRC bot that's easy to extend.
dmilstein/prometheus
The Prometheus monitoring system and time series database.
dmilstein/python-slackclient
dmilstein/wal-e
A Postgres WAL-shipping disaster recovery and replication toolkit