Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Command-line program to download videos from YouTube.com and other video sites

Hunt down social media accounts by username across social networks

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

Google Calendar Command Line Interface

Submit stacked diffs to GitHub on the command line

Interactive Coq Proofs in Vim

Aerojump is a fuzzy-match searcher/jumper for Neovim with the goal of quick keyboard navigation