The Dotty compiler for Scala bootstraps (scala-lang.org)

Called "Dotty" because it is based on Dependent Object Theory (DOT). DOT has also just been given a big boost because researchers have found a way to prove type soundness (long term open problem). See http://lambda-the-ultimate.org/node/5270