OpenDos is a software that optimizes the executables at run-time. This optimizer is aimed to optimize i386 executables of ELF format. It is entirely user-level software, which works on the native binaries.
FOCA (Fudeba: Optimizer, Compiler and Assembler) is a free development system for the MSX architecture (Z80-based), aiming to provide developer support for the Uzix operating system.
A function is computable if it can be computed by a Turing machine.
A Turing machine is a very simple machine, but, logically speaking, has all the power of any digital computer. The Turing Optimizer utilizes this to superoptimize code.