idris2-ecosystem

There are 14 repositories under idris2-ecosystem topic.

bamboo/idris2dart
The Dart backend for Idris 2.
Language:Idris48 9 75
pufferffish/idris2-tls
A portable idris2 implementation of TLS
Language:Idris30 3 35
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
cyberglot/idris2-spacemacs
It may work, use at your own discretion.
Language:Emacs Lisp5 2 00
kiana-S/numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
Language:Idris5 1 00
bamboo/idris2-dash-docset
Dash docset for Idris 2 libraries
Language:Makefile2 3 0
kiana-S/idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens
Language:Idris1 1 11
MarcelineVQ/idris2-managed
Automatic resource management for a common use-pattern.
Language:Idris1 3 1
kiana-S/idris2-profunctors
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
Language:Idris1 0