A static analyzer for Java, C, C++, and Objective-C

Performant type-checking for python.

FUSE filesystem over Google Drive

Parser combinators built for speed and memory efficiency

Visual Studio Code extension for Coq

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

Browser-based GTD (TODO list) system. No server needed.

Another Emacs Org-mode and Markdown parser.

OpenPGP keyserver

Binding to Cairo, a 2D Vector Graphics Library.