Assembly super-optimization via constraint solving
C-to-Malbolge compiler research laboratory with exact VMs, translation validation, self-modifying-code analysis, verified optimization, native execution, and CUDA acceleration.
An optimizing CHIP-8 compiler/interpreter
My genetic-algorithm based superoptimization experiment
Enthropic: From Chaos, Code.
Behavior-first program synthesis engine that discovers compact implementations, collapses semantically equivalent programs, and exhaustively verifies behavior across bounded input domains.
Brainfuck Compiler with nested balanced loop optimization
A project to build area- and power-efficient CPUs by tailoring their ISA to a specific program.
To associate your repository with the superoptimization topic, visit your repo's landing page and select "manage topics."