idrlisp is a Idris version of Rosetta Lisp implementation.

$ make
$ ./idrlisp rosetta-lisp/examples/conways-gol.lisp

Because Idris's Char is backend dependent, additional work is required to handle strings as UTF-8 byte sequences. For now, some kind of builtins like str-bytesize behaves inappropriately with non-ASCII characters.