The original version of lbsbootable, in C
musl libc ported to UEFI
Tangerine kernel libc based on musl
A simple, bootable game written in x86-64 assembly