projects

[co-]founder

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 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.

contributor

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.

Gash — A POSIX compliant sh replacement in GNU Guile.

Bootstrappable TinyCC — A patch set for TCC to make it bootstrappable.


* Sadly a proprietary project, something we try to avoid.