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
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.
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.
C-to-Malbolge compiler research laboratory with exact VMs, translation validation, self-modifying-code analysis, verified optimization, native execution, and CUDA acceleration.
Certificate-first superoptimizer for a curated x86-64 subset: SMT equivalence, optimality certificates, MCMC search, and a calibrated GCC comparison.
A strict genetic algorithm over Go kernels, evaluated by the giri SSA interpreter
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.
To associate your repository with the superoptimization topic, visit your repo's landing page and select "manage topics."