superoptimization

There are 5 repositories under superoptimization topic.

slothy-optimizer/slothy
Assembly super-optimization via constraint solving
Language:Assembly176 7 2412
falk-hueffner/sematrope
Superoptimizer using the z3 SMT solver
Language:C++17 3 01
mateon1/opt8-rs
An optimizing CHIP-8 compiler/interpreter
Language:Rust1 3 00
UncleDrema/mutator
My genetic-algorithm based superoptimization experiment
Language:Python1 1 00
jjcmoon/Oizys
Brainfuck Compiler with nested balanced loop optimization
Language:Python0 1 00