Idris2 package that provides low level bindings to rtlsdr
-
Updated
Oct 5, 2024 - Idris
Idris2 package that provides low level bindings to rtlsdr
Multi-arch, multi-distro Docker images for Idris 2
A portable idris2 implementation of TLS
A programming language based on extensional Martin Lof Type Theory
Mirror of https://git.tokinanpa.dev/toki/numidr
A Categorical View of Computation
p5.js Bindings for Idris using JS Backend (WIP)
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)
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."