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.
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.