GNU Mes — Full Source Bootstrapping for GNU/Linux distributions.
DOE040 — A democratic school (using sociocracy), for students ages 4-21.
ASML Break-out Archive (BOA)* — Rebasing a patch set without conflicts or changes on the QBL would take 1h30 with ASMLs "professional enterprise grade" version control system. We took the initiative and invented, prototyped, and implemented a way to use GIT for development, bringing down the rebasing time to 30s.
GNU LilyPond — Free Music Software expert system and human-friendly declarative music language for creating beautiful sheet music, extensible withGuile.
the Mutopia Project — Sheet music editions, free to download, modify, print, copy, distribute, perform and record and editable in LilyPond format.
MPP — MusiXTEX pre-processor, the third prototype and first viable music typesetter with a simple declarative music language, inspiring the creation of GNU LilyPond.
GNU Guix — A distribution of the GNU operating system centered on the GNU Guix package manager. Contributions include the Full Source Bootstrap, and support for the Hurd.
Dezyne — A component-based language for concurrent control software offering formal verification, entirely implemented in Guile Scheme.
Gash — A POSIX compliant sh replacement in GNU Guile.
Bootstrappable TinyCC — A patch set for TCC to make it "bootstrappable", i.e., allowed for early GNU Mes' MesCC versions to compile, and thus bootstrap, it.
* Sadly a proprietary project, something we try to avoid.