a statically typed toy language based on LLVM - View it on GitHub