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.
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.
My genetic-algorithm based superoptimization experiment
An optimizing CHIP-8 compiler/interpreter
Self-hosting compiler superoptimizer utilizing equality saturation over e-graphs and relational synthesis to automatically discover minimal instruction sequences and eliminate redundant computations.
Brainfuck Compiler with nested balanced loop optimization
A project to build area- and power-efficient CPUs by tailoring their ISA to a specific program.
Compile arithmetic constraints into standard JSON Schema. Check exact decimal totals with ordinary validators.
A strict genetic algorithm over Go kernels, evaluated by the giri SSA interpreter
To associate your repository with the superoptimization topic, visit your repo's landing page and select "manage topics."