All Categories → No Category → idris-ecosystem

Top 2 idris-ecosystem open source projects

real-world-idris

Malfunction backend for Idris with a FFI to OCaml

✭ 26

TeX haskell Idris compilers idris-ecosystem malfunction compiler-backend foreign-function-interface

A test framework for Idris

✭ 55

Idris powershell shell HTML testing unit-testing test-framework unittest idris-ecosystem

1-2 of 2 idris-ecosystem projects