idris2
Here are 58 public repositories matching this topic...
A Categorical View of Computation
-
Updated
May 29, 2024 - Idris
A portable idris2 implementation of TLS
-
Updated
Feb 11, 2024 - Idris
Multi-arch, multi-distro Docker images for Idris 2
-
Updated
May 17, 2024 - Dockerfile
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
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
Dockerfile and images for idris and idris2
-
Updated
Jun 9, 2021 - Dockerfile
Idris2的镜像仓库,只做中文翻译使用
-
Updated
Sep 21, 2022 - Idris
Unusable Resource-dependent algebraic effects library in Idris 2.
-
Updated
May 29, 2021 - Idris
Idris (Idris2) port of the Haskell biocore library.
-
Updated
May 6, 2021 - Idris
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."