That looks interesting. They also have a Fortran compiler. Both use the <a href="https://github.com/lcompilers/libasr">https://github.com/lcompilers/libasr</a>, presumably as a high-level IR. Has anyone checked out its features? Is there any documentation?