Pinned Loading

1. dedalus dedalus Public

   An interpreter and analyzer for Dedalus, a Datalog-based formalism for distributed systems.

   Go 3

2. speeddial speeddial Public

   Shell commands at your fingertips

   Go 3

3. paxos paxos Public

   A basic implementation of Multi-Paxos in Go

   Go 1

4. dotfiles dotfiles Public

   My configuration files

   Vim Script 2