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

Dropbox as a True Git Server (Apr 2016)
git-remote-dropbox (Aug 2015)

Neural Style

An implementation of the neural style algorithm in TensorFlow.

Blog Posts

An AI That Can Mimic Any Artist (Dec 2015)

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

Seashells (Jul 2017)

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

Managing Your Dotfiles (Aug 2014)

Lumen

Lumen is a menu bar application for macOS that magically sets the screen brightness based on your screen contents.

Blog Posts

Lumen: Magic Auto Brightness Based on Screen Contents (Jul 2016)

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

Gavel: An Expo Judging System (Sep 2016)
Implementing a Scalable Judging System (Nov 2015)
Designing a Better Judging System (Mar 2015)

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.