There are 7 repositories under idris2 topic.
A portable idris2 implementation of TLS
libcurl bindings for idris2
Effectful Streaming for Idris
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Multi-arch, multi-distro Docker images for Idris 2
implementation deriving for idris2
Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but generally I'd keep this alive!
Immutable Size Indexed Arrays
edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql
ByteStrings for Idris2!
Newtype, Generic Interface Deriving
Dockerfile and images for idris and idris2
Implementation of Russel paradox in Idris 2
Unusable Resource-dependent algebraic effects library in Idris 2.
An OpenFaaS template for writing Functions in Idris 2.
Japanese translation of "Functional Programming in Idris 2"
Mirror of https://git.tokinanpa.dev/toki/idris2-lens