Open source karaoke show hosting software.

A free book about developing secure and robust systems software.

A demo implementation of a simple dependently-typed language

Companion materials for 'Binary Software Exploitation by Example' presentation.

Template-based proofs of concurrent search structures.

Trying to improve ocaml type error messages for beginners

Working with graphs in Julia

Javascript version of nanomunchers for Dr. Ecco

IIPMooViewer is an advanced javascript HTML5 image viewer for streaming high resolution scientific images

An OStatus library for node-js. Implementing webfinger, PubSubHubBub, hcard, atom/json activitystreams and salmon. It serves as the building block of a decentralized social network.

Green Field Project Deployment

[NOT MAINTAINED] diaspora... as a couchapp! in pure javascript and fully OStatus compliant (almost)

A privacy-aware, distributed, open source social network.

An opinion on APi-driven web application program flow

Show failing specs instantly

DEPRECATED: Demo for IIW #15: Basic XDI messaging and connectors

this is the public blog of diaspora

Ruby wrapper for the gpg binary.

A helper for creating declarative interfaces in controllers

Source code for Mathetes on Freenode

An invitation strategy for devise

simple job queue system based on mongodb

Flexible authentication solution for Rails with Warden.

Git support for Vlad.

The graphics segment of Dwarf Fortress

pubsub via webhooks

A Ruby Object Mapper for Mongo

Moved to https://github.com/nodejs/node

The MongoDB Database