MidenIR for compiling to Miden Assembly from higher-level languages - View it on GitHub