A framework for distributed systems verification, with fault injection

A workbench for writing toy implementations of distributed systems.

A command line tool to mine and analyze data from version-control systems

Clojure reducers, but for parallel execution: locally and on distributed systems.

A distributed database-system implementing an entity-attribute-value data-model that is time-aware, accumulative, and atomically consistent