Assembly super-optimization via constraint solving
A Common Lisp tool that finds simpler forms of programs by exploring equivalent expressions and synthesizing code from constraints
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
Enthropic: From Chaos, Code.
My genetic-algorithm based superoptimization experiment
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.
Certificate-first superoptimizer for a curated x86-64 subset: SMT equivalence, optimality certificates, MCMC search, and a calibrated GCC comparison.
Brainfuck Compiler with nested balanced loop optimization
A project to build area- and power-efficient CPUs by tailoring their ISA to a specific program.
C-to-Malbolge compiler research laboratory with exact VMs, translation validation, self-modifying-code analysis, verified optimization, native execution, and CUDA acceleration.
A strict genetic algorithm over Go kernels, evaluated by the giri SSA interpreter
Compile arithmetic constraints into standard JSON Schema. Check exact decimal totals with ordinary validators.
To associate your repository with the superoptimization topic, visit your repo's landing page and select "manage topics."