I shared a toy superoptimizer I made a few years ago: https://news.ycombinator.com/item?id=36117950

It was a really fun project!