idris-ecosystem topic

List idris-ecosystem repositories

specdris

56
Stars
9
Forks
Watchers

A test framework for Idris

verified publisher icon pheymann

recursion_schemes

63
Stars
5
Forks
Watchers

Recursion schemes for Idris

verified publisher icon vmchale

idris-python

25
Stars
1
Forks
Watchers

Successor project: https://github.com/thautwarm/Quick-Backend

verified publisher icon thautwarm

real-world-idris

28
Stars
2
Forks
Watchers

Malfunction backend for Idris with a FFI to OCaml

verified publisher icon ioanluca

idris-ecosystem

47
Stars
3
Forks
Watchers

verified publisher icon xgrommx