Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

A functional effect and streaming system for Clojure/Script

Programs from the book Lisp in Small Pieces, updated to work on modern schemes

Let's simplify the way we write Lisp

A smart package for the Meteor platform providing Twitter Bootstrap source files for applications.

Online OR1K Emulator running Linux

keeping the project alive with this clone of mauricemach/coffeekup

keeping the project alive with this clone of mauricemach/coffeekup

For testing "use" with git repositories

Source for the hackinator

Arc Runtime Project

Hacks on Arc

A file system on Amazon S3, with write-back caching of data and a persistent metadata cache