Lambda Compiler Kit: formally verified toolkit for building compilers - View it on GitHub