Jasmin Lang - Bootstrapping the C compiler?

Specifically: Compilation to assembly · jasmin-lang/jasmin Wiki · GitHub

Despite the target use case of cryptography, it may be (not even mis-) used for verified assembly based bootstrapping efforts. Short of writing assembly itself.

Hosted by Flying Circus.