source-to-source compiler
compiler that translates source code to an equivalent version in a different programming language that operate at a similar level of abstraction
compiler-compiler
program that generates parsers or compilers from source files
F*
functional programming language inspired by ML and aimed at program verification
Google Closure Tools
software
Nim
programming language