Scala LMS is really neat: it's rare to see a code generation tool with common subexpression elimination included! https://scala-lms.github.io/tutorials/index.html