idris2
Here are 139 public repositories matching this topic...
A Categorical View of Computation
-
Updated
Sep 22, 2026 - Lean
A portable idris2 implementation of TLS
-
Updated
Oct 30, 2024 - Idris
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
-
Updated
Apr 3, 2023 - Idris
libcurl bindings for idris2
-
Updated
Feb 21, 2021 - Idris
implementation deriving for idris2
-
Updated
Feb 21, 2021 - Idris
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!
-
Updated
Oct 28, 2024 - Idris
Immutable Size Indexed Arrays
-
Updated
Sep 13, 2022 - Idris
Newtype, Generic Interface Deriving
-
Updated
Dec 6, 2022 - Idris
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
-
Updated
Nov 19, 2022 - Idris
ByteStrings for Idris2!
-
Updated
Oct 27, 2020 - Idris
Add this topic to your repo
To associate your repository with the idris2 topic, visit your repo's landing page and select "manage topics."