A compiler for a B-like language - View it on GitHub