Compiler for the B Programming Language implemented in Crust - View it on GitHub