On a somewhat related note, I always thought dietlibc was a pretty cool project (basically trying to get libc to be very tiny). It's been a pretty long time since I browsed the code but I remember it being quite elegant.
https://andrewkelley.me/post/why-donating-to-musl-libc-proje...
:(