https://github.com/slothy-optimizer/slothy

Assembly super-optimization via constraint solving

assembly-language constraint-programming cryptography-tools post-quantum-cryptography superoptimization

Last synced: 16 Jan 2026