Popular repositories Loading

1. channels channels Public

   TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results

   TLA 10 1

2. prisonerl-driver prisonerl-driver Public

   The driver for an Erlang Prisoners' Dilemma tournament

   Erlang 4 1

3. Asphodel Asphodel Public

   A turn-based strategy game to fix your spare time

   Python 1

4. tla-tools tla-tools Public

   Forked from mrc/tla-tools

   TLA+ tools for Emacs

   Emacs Lisp 1

5. gevent gevent Public

   Forked from gevent/gevent

   Coroutine-based concurrency library for Python

   Python

6. diffscuss diffscuss Public

   Forked from tomheon/diffscuss

   Format for textual, inter-diff code reviews.

   Python