Continuous Unix commit history from 1970 until today

Style your webpage like Edward Tufte’s handouts.

Berkeley DB 1.85 with patches and fixes applied

Clean and simple clipboard manager for developers

match command-line arguments to their help text

Basic blog theme, "works for me"-quality. This is only here because someone wanted a copy; I don't suggest that you use it :-)

A Java-based remote control client for DOS hosts

Repeat from the sign

a small build system with a focus on speed

A tool for use with clang to analyze #includes in C and C++ source files

Deep Learning and Unsupervised Feature Learning Tutorial Solutions

A C++ expression -> x86 JIT

Formal verification of SecVisor, a secure hypervisor

Sampling CPU profiler for Ruby

Sample Go websocket server and JS client with tracing and JSON data interchange

CMake modules to help use sanitizers

Class materials for a distributed systems lecture series

Chicago undergraduate mathematics bibliography

Code and sample data for evaluating rating systems for asymmetric multiplayer games

The code behind councilroom.com.

Online Terra Mystica

A collection of debugging stories. PRs welcome (sorry for the backlog) :-)

A collection of postmortems. Sorry for the delay in merging PRs!

Demonstration NATting unikernel.

📷 Automatically recognize text in your screenshots.

The Go programming language

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

Remove unused styles from CSS