The IntelliJ IDEA plugin for the Randori compiler.