omega-portable-ir-transpilation
Use for small deterministic arithmetic kernels that need a portable representation and verified source generation for supported target languages without pretending to be a universal compiler.
Pinned to revision b76cf7dfcb0b, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.