mbellotti

tla-cascading-failure. Explorations in using TLA+ to model integrations of systems

instagram_ambassador_scams. Graph data on fake accounts found on Instagram backing Instagram scams

netback. Looking for suspicious Twitter accounts connected to your Twitter account

pyTLA. A transcompiler that writes PlusCal files from python bytecode/AST

api-js. JavaScript

mire. Mire is a simple MUD written in Clojure

dataproxy. Web application (targeted at appengine) to proxy data from certain data types into a JSON-P data type so that users can create mashups against remote data sets.

soundgram. Simple mashup of Twilio and Soundcloud that allows you to send soundgrams to your friends

GettyConnectPHP. A simple library for Getty Connect's API, created during PhotoHackDay 2 :)