Tesla Light Show

The single instruction C compiler

dvtm brings the concept of tiling window management, popularized by X11-window managers like dwm to the console. As a console window manager it tries to make it easy to work with multiple console b…

Spotify for the terminal written in Rust 🚀

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programmi…

A LaTeX Typesetting Game

Just the parts of vim-go that run goimports on save.

vc is an implementation of Git in Rust

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

Real numbers, data science and chaos: How to fit any dataset with a single parameter

Best practice and tips & tricks to write scientific papers in LaTeX, with figures generated in Python or Matlab.

The virtual Eurorack studio

git commit --fixup, but automatic

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

Define commands, using plugins, to execute across all your repositories.

terminal-based personal organizer

A slackbot to compete on mini crosswords (or any other daily challenge).

Software U2F authenticator for macOS

An interactive REPL for Go that allows you to drop into your code at any point.

Hacking on Go's type system

A window.fetch JavaScript polyfill.

😱 Falsehoods Programmers Believe in

Listen to your Overcast podcasts on Sonos.

Website and backend of the former Overcast/Lifeboat PC Network

Chat censorship plugin for SportBukkit

Bukkit/Bungee plugins from the former Overcast/Lifeboat PC network, including PGM

Distributed Named Pipes

A Slack client for the Commodore 64