slothy-optimizer / slothy Star 132 Code Issues Pull requests Assembly super-optimization via constraint solving assembly-language constraint-programming post-quantum-cryptography cryptography-tools superoptimization Updated Apr 23, 2024 Assembly
falk-hueffner / sematrope Star 15 Code Issues Pull requests Superoptimizer using the z3 SMT solver z3 superoptimization Updated Apr 2, 2021 C++
mateon1 / opt8-rs Star 1 Code Issues Pull requests An optimizing CHIP-8 compiler/interpreter emulator chip8 superoptimization Updated Aug 30, 2019 Rust
UncleDrema / mutator Star 1 Code Issues Pull requests My genetic-algorithm based superoptimization experiment genetic-algorithm superoptimization Updated Jun 19, 2023 Python
jjcmoon / Oizys Star 0 Code Issues Pull requests Brainfuck Compiler with nested balanced loop optimization brainfuck brainfuck-compiler superoptimization Updated Oct 17, 2019 Python