Recursion schemes for Idris
A test framework for Idris
Malfunction backend for Idris with a FFI to OCaml
Successor project: https://github.com/thautwarm/Quick-Backend