idris-ecosystem

There are 15 repositories under idris-ecosystem topic.

vmchale/recursion_schemes
Recursion schemes for Idris
Language:Idris64 6 65
pheymann/specdris
A test framework for Idris
Language:Idris54 6 69
xgrommx/idris-ecosystem
47 7 03
ioanluca/real-world-idris
Malfunction backend for Idris with a FFI to OCaml
Language:TeX28 7 02
thautwarm/idris-python
Successor project: https://github.com/thautwarm/Quick-Backend
Language:Python24 5 31
MarcelineVQ/idris2-curl
libcurl bindings for idris2
Language:Idris14 5 11
MarcelineVQ/idris2-streaming
Effectful Streaming for Idris
Language:Idris14 3 00
MarcelineVQ/idris2-elab-deriving
implementation deriving for idris2
Language:Idris11 5 11
MarcelineVQ/idris2-sarray
Immutable Size Indexed Arrays
Language:Idris8 3 00
MarcelineVQ/idris2-bytes
ByteStrings for Idris2!
Language:Idris7 3 10
MarcelineVQ/idris2-newtype-deriving
Newtype, Generic Interface Deriving
Language:Idris6 3 10
bamboo/idris-codegen-sexp
Idris Simplified Expressions backend
Language:Haskell4 3 0
MarcelineVQ/idris2-managed
Automatic resource management for a common use-pattern.
Language:Idris1 3 1
machunter/idris-mongo
An unworthy mongo library for Idris
Language:Idris2 1
ubaldop/vagrant-idris
Vagrant template for Idris
Language:Shell2 01