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)

Discussions

• Hacker News: Dropbox as a Git Server
• Hacker News: Show HN: Git-remote-dropbox - use Dropbox as a true Git server

Neural Style

An implementation of the neural style algorithm in TensorFlow.

Blog Posts

• An AI That Can Mimic Any Artist (Dec 2015)

Discussions

• Reddit: Neural Style in TensorFlow

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)

Discussions

• Hacker News: Show HN: Seashells - Pipe output from CLI apps to the web in real time
• Lobsters: Seashells - Pipe output from CLI apps to the web in real time
• Reddit: Seashells - Pipe output from CLI apps to the web in real time

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)

Articles

• Lifehacker: Lumen Automatically Adjusts Your Mac's Brightness Based on What You're Looking At On-Screen
• How-To Geek: Lumen Automatically Turns Up Your Mac's Brightness While Using Dark Windows, And Vice-Verse

Discussions

• Product Hunt: Lumen
• Hacker News: Lumen: Auto brightness based on screen contents
• Reddit: Lumen: Magic auto brightness based on screen contents

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

• New Dotbot Features (Oct 2014)
• Managing Your Dotfiles (Aug 2014)

Articles

• Inconsolation: dotbot: A (dot)files (bo)o(t)strapper

Discussions

• Reddit: Dotbot: A dotfiles bootstrapper for a better way to organize your dotfiles

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)

OffiX

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

Blog Posts

• Who's in the Office? (Space-oriented Personal Location Sharing) (Jun 2016)

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

• Testing Distributed Systems for Linearizability (Jun 2017)

Discussions

• Lobsters: Testing Distributed Systems for Linearizability

Gemini

Gemini is a modern LaTex beamerposter theme, with a focus on being clean, minimal, and looking great out of the box.

Blog Posts

• Gemini: A Modern LaTeX Poster Theme (Jul 2018)

Discussions

• Lobsters: Gemini: A Modern LaTeX Poster Theme
• Reddit: Gemini: A Modern LaTeX Poster Theme

hubot-group

A Hubot plugin that expands mentions of groups.

Blog Posts

• ChatOps at HackMIT (Dec 2015)

hubot-shortcut

An easy-to-use macro system for Hubot.

Blog Posts

• ChatOps at HackMIT (Dec 2015)

hubot-conf

A configuration management system for Hubot.

Blog Posts

• ChatOps at HackMIT (Dec 2015)

Dotfiles

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

Blog Posts

• Managing Your Dotfiles (Aug 2014)