idris2
Here are 60 public repositories matching this topic...
A portable idris2 implementation of TLS
-
Updated
Oct 30, 2024 - Idris
A Categorical View of Computation
-
Updated
Oct 21, 2024 - Idris
libcurl bindings for idris2
-
Updated
Feb 21, 2021 - Idris
Multi-arch, multi-distro Docker images for Idris 2
-
Updated
Dec 13, 2024 - Dockerfile
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
-
Updated
Apr 3, 2023 - 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
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
Newtype, Generic Interface Deriving
-
Updated
Dec 6, 2022 - Idris
Dockerfile and images for idris and idris2
-
Updated
Jun 9, 2021 - Dockerfile
Improve this page
Add a description, image, and links to the idris2 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the idris2 topic, visit your repo's landing page and select "manage topics."