Idris compiler on a webpage.
$ tryidris 8080
Installs in one command on most systems, using Halcyon:
$ halcyon install https://github.com/mietek/tryidris
Deploys in one click to a new DigitalOcean droplet, or to the Heroku web application platform:
Made by Brian McKenna. Published under the BSD3 license.
Packaged by Miëtek Bak.