A stochastic superoptimizer and program synthesizer - View it on GitHub