As of May 2017, Idris compiles to C (relying on a custom copying garbage collector using Cheney's algorithm) and JavaScript (both browser- and Node.js-based).
Începând cu luna mai 2017, Idris se compilează la C (bazându-se pe un colector de gunoi personalizat care folosește algoritmul lui Cheney) și JavaScript (bazate pe browser și Node.js).