Projects

git-remote-dropbox

git-remote-dropbox is a transparent bidirectional bridge between Git and Dropbox. It lets you use a Dropbox folder or a shared folder as a true Git remote!

Blog Posts

Discussions


Neural Style

An implementation of the neural style algorithm in TensorFlow.

Blog Posts

Discussions


Seashells

Seashells lets you pipe output from command-line programs to the web in real-time, even without installing any new software on your machine.

Blog Posts

Discussions



Dotbot

Dotbot is a tool that bootstraps your dotfiles, designed to be lightweight and self-contained, with no external dependencies and no installation required.

Blog Posts

Articles

Discussions


Gavel

Gavel is a project expo judging system that uses fancy math to get good results. It was first used at HackMIT 2015, and it's been used at dozens of other hackathons since then.

Blog Posts


OffiX

OffiX is a WiFi-based presence tracking system for physical spaces.

Blog Posts


Porcupine

Porcupine is a fast linearizability checker for testing the correctness of distributed systems. It takes sequential specification as executable Go code, along with a concurrent history, and determines whether the history is linearizable with respect to the sequential specification.

Blog Posts

Discussions


hubot-group

A Hubot plugin that expands mentions of groups.

Blog Posts


hubot-shortcut

An easy-to-use macro system for Hubot.

Blog Posts


hubot-conf

A configuration management system for Hubot.

Blog Posts


hubot-good-karma

A simple karma script for Hubot.


Dotfiles

My dotfiles that I've been using since 2013, powered by Dotbot.

Blog Posts