Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.

A concise API for exploratory data visualization implementing a layered grammar of graphics

Collect and grade programming problem sets with git

Add Math to your Markdown with a KaTeX plugin for Markdown-it

JavaScript syntax highlighter with language auto-detection and zero dependencies.

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

QR Code Generator implementation in JavaScript, Java and more.

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

A modern and intuitive terminal-based text editor

Fast math typesetting for the web.

Dynamically Resizable Cuckoo Hashtable

FOEDUS main source code repository

FOEDUS: Fast Optimistic Engine for Data Unification Services

Minimal verified webserver

Research code for Doppel, an in-memory key/value transactional store

STAMP for STO

Software Transactional Objects

A distributed key-value cache with builtin materialized views.

you probably thought I was kidding, @kohler

Automated multicore scalability testing tool

Create, manipulate, and optimize GIF images and animations

Utilities for manipulating OpenType, PostScript Type 1, and Multiple Master fonts.

John Kimble is a live feedback system for classroom use.

Ipsumdump and other programs for command-line network trace manipulation.

HotCRP conference review software

Beta release of Masstree.

C++ extensions for readable event-driven programming