Turing Machine Compiler

In this project I wrote a compiler in Rust which turns a functional language inspired by Nix into turing machines. I started this project because I wanted to learn Rust properly and also because I had been studying Computer Theory for my degree. You can read more about the project and the development process on the articles I posted about it here:

• Introduction and language design: post
• Lexer, parser and annotater: post
• Simplifier: post
• Generator and showcase: post

You can also see the source code and build the compiler in the project’s github repository.