Dezyne — A component-based language for concurrent control software offering formal verification, entirely implemented in Guile Scheme.
GNU Mes — Full Source Bootstrapping for GNU/Linux distributions using a mutually self-hosting minimalist Guile-compatible Scheme interpreter written in C, and C compiler written in Scheme.
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 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.
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.