A Categorical View of Computation
-
Updated
Jun 3, 2024 - Idris
A Categorical View of Computation
Multi-arch, multi-distro Docker images for Idris 2
Linear algebra and data manipulation library for Idris2
p5.js Bindings for Idris using JS Backend (WIP)
A portable idris2 implementation of TLS
A programming language based on extensional Martin Lof Type Theory
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!
Functional API wrapper for Minecraft bedrock script api (But Idris)
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Add a description, image, and links to the idris2 topic page so that developers can more easily learn about it.
To associate your repository with the idris2 topic, visit your repo's landing page and select "manage topics."