Eddie Kohler

gifsicle. Create, manipulate, and optimize GIF images and animations

click. The Click modular router: fast modular packet processing and analysis

masstree-beta. Beta release of Masstree.

hotcrp. HotCRP conference review software

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

t1utils. Utilities for manupulating Adobe Type 1 font software

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

tamer. C++ extensions for readable event-driven programming

click-packages. Collection of packages for the Click modular router

johnkimble. John Kimble is a live feedback system for classroom use.

peteramati. Collect and grade programming problem sets with git

xwrits. Wrist break reminders for X windows

silo. Multicore in-memory storage engine

hotanalpdf. PDF analyzer and paginator.

yapteaparprfotci. Yet Another Program To Enliven Academic Papers through the Application of Randomly-Placed Royalty-Free Old-Time Cat Imagery

stamp-mp. STAMP Software Transactional Memory Multiprocess

jfbastien-cpp-papers. Papers for the C++ Standards Committee, WG21

php-archive. Pure-PHP implementation to read and write TAR and ZIP archives

scigen. An automatic paper generator

libuv-webserver. simple webserver in libuv

WebKit. Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

coq. Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

d3. A JavaScript visualization library for HTML and SVG.

marked. A markdown parser and compiler. Built for speed.

tamejs. JavaScript-to-JavaScript code rewriter for taming async-callback-style code