MirageOS: A programming framework for building type-safe, modular systems

Was going to say something snarky about “most complex hello world seen recently” until I remembered I sometimes write react for a living.