idris2-ecosystem

There are 15 repositories under idris2-ecosystem topic.

bamboo/idris2dart
The Dart backend for Idris 2.
Language:Idris50 9 75
idris-community/idris2-tls
A portable idris2 implementation of TLS
Language:Idris32 5 37
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
tokinanpa/numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
Language:Idris5 1 10
bamboo/idris2-dash-docset
Dash docset for Idris 2 libraries
Language:Makefile2 3 0
MarcelineVQ/idris2-managed
Automatic resource management for a common use-pattern.
Language:Idris1 3 1
tokinanpa/idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens
Language:Idris11
tokinanpa/idris2-profunctors
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
Language:Idris0 1 00
victoredwardocallaghan/idris2-rtlsdr
Idris2 package that provides low level bindings to rtlsdr
Language:Idris2