autocomp. Scala
dedalus. An interpreter and analyzer for Dedalus, a Datalog-based formalism for distributed systems.
speeddial. Shell commands at your fingertips
dotfiles. My configuration files
Tag-2.0. A game of tag in Java
paxos. A basic implementation of Multi-Paxos in Go
