Idris fordító
Az Idris alapértelmezett fordítóját Haskellben írták, ez a fordítás során az Idris kódból binárist állít elő. Egy köztes lépésként Epic nyelvű kód áll elő, az Epic egy egyszerű funkcionális nyelv, melyből igen hatékony C kód keletkezik. Példa a fordításra:
idris hello.idr -o hello
Javascript fordító
Lehetőség van Idris programokból Javascript programokat is fordítani:
idris --codegen javascript hello.idr -o hello.js
Az így keletkező kód már beágyazható a böngészőbe. A NodeJS számára is fordítható kód:
idris --codegen node hello.idr -o hello