GitHub repository: ydewit/ivor
Description: Ivor the Engine - a Truffle/GraalVM based Just-In-Time (JIT) compiler for the Idris language