idris2-ecosystem

There are 0 repository under idris2-ecosystem topic.

bamboo / idris2dart
The Dart backend for Idris 2.
dart flutter idris2 idris idris2-ecosystem
Language:Idris 47
pufferffish / idris2-tls
A portable idris2 implementation of TLS
idris2 tls13 tls idris2-ecosystem cryptography
Language:Idris 30
MarcelineVQ / idris2-curl
libcurl bindings for idris2
idris2 idris-ecosystem idris2-ecosystem network binding bindings curl lib library idris
Language:Idris 14
MarcelineVQ / idris2-streaming
Effectful Streaming for Idris
idris2 idris-ecosystem idris2-ecosystem streaming effects bytes bits network idris streams lib library
Language:Idris 14
MarcelineVQ / idris2-elab-deriving
implementation deriving for idris2
idris2 idris-ecosystem idris2-ecosystem deriving reflection elaboration newtypes interface implementation elab lib library idris
Language:Idris 11
MarcelineVQ / idris2-sarray
Immutable Size Indexed Arrays
library lib idris2 idris2-ecosystem idris-ecosystem array vector immutable size sized
Language:Idris 8
MarcelineVQ / idris2-bytes
ByteStrings for Idris2!
idris2 idris-ecosystem idris2-ecosystem bytes bytestring lib library idris
Language:Idris 7
MarcelineVQ / idris2-newtype-deriving
Newtype, Generic Interface Deriving
newtype lib library idris2 idris2-ecosystem idris generics deriving num idris-ecosystem
Language:Idris 6
cyberglot / idris2-spacemacs
It may work, use at your own discretion.
idris2-ecosystem spacemacs
Language:Emacs Lisp 5
kiana-S / numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
idris2 linear-algebra idris2-ecosystem
Language:Idris 5
bamboo / idris2-dash-docset
Dash docset for Idris 2 libraries
dash docset idris2 idris2-ecosystem
Language:Makefile 2
kiana-S / idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens
idris2 idris2-ecosystem lenses
Language:Idris 1
MarcelineVQ / idris2-managed
Automatic resource management for a common use-pattern.
idris2 idris-ecosystem idris2-ecosystem idris resource resources lib library
Language:Idris 1
kiana-S / idris2-profunctors
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
idris2 idris2-ecosystem profunctors
Language:Idris