Assembly super-optimization via constraint solving
Behavior-first program synthesis engine that discovers compact implementations, collapses semantically equivalent programs, and exhaustively verifies behavior across bounded input domains.
An optimizing CHIP-8 compiler/interpreter
My genetic-algorithm based superoptimization experiment
Enthropic: From Chaos, Code.
LLM-guided superoptimizer for LLVM IR: Meta models propose faster rewrites, Alive2 formally proves them correct (refinement). Built for the Meta Global AI Developer Hackathon.
Compile arithmetic constraints into standard JSON Schema. Check exact decimal totals with ordinary validators.
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.
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."