Maxwells Equations of Software.
This is a program by Jan Nieuwenhuizen to reduce the bootstrap binaries of GuixSD to nothing!
- Bourne shell compiler frontend (related to guix and bootstrapping)
mes implements a lisp interpreter written in C, that is able to run mescc which by using nyacc for parsing and mescc-tools for linking functions as a C compiler.
mescc includes its own libc, written in C and is able to compile mes thus providing a full loop bootstrap.
Breakthrough (Sept 2018)
Headline! they've managed to bootstrap gcc/glibc/binutils and all of gnu/linux from just: mescc, mes, bash + gnu coreutils and tinycc running on top of linux
Here is a diagram showing the mes based bootstrap packages for GuixSD.