Dezyne — A component-based language for concurrent control software offering formal verification.
GNU Mes — Full Source Bootstrapping for GNU/Linux distributions.
Gash — A POSIX compliant sh replacement in GNU Guile.
DOE040 — A democratic school (using sociocracy), for students ages 4-21.
GNU LilyPond — Free Music Software expert system and human-friendly music language for creating beautiful sheet music.
the Mutopia Project — Sheet music editions, free to download, modify, print, copy, distribute, perform and record and editable in LilyPond format.
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.
Bootstrappable TinyCC — A patch set for TCC to make it bootstrappable.