idris2
There are 58 repositories under idris2 topic.
bamboo/idris2dart
The Dart backend for Idris 2.
claymager/idris2-pkgs
An unofficial Idris2 package repository for Nix
Z-snails/Idris2-Grin
GRIN backend for Idris2
idris-community/idris2-tls
A portable idris2 implementation of TLS
anoma/geb
A Categorical View of Computation
Russoul/Idris2-Lua
Lua backend for Idris 2
MarcelineVQ/idris2-curl
libcurl bindings for idris2
MarcelineVQ/idris2-streaming
Effectful Streaming for Idris
joshuanianji/idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
jfdm/velo-lang
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
MarcelineVQ/idris2-elab-deriving
implementation deriving for idris2
Miezhiko/BiSH
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!
running-grass/idris2-tutorial-zh
通过weblate翻译idris2教程
Alex1005a/Idris2-HVM
HVM backend for Idris 2 (lazy)
MarcelineVQ/idris2-sarray
Immutable Size Indexed Arrays
dunhamsteve/SPLV20
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
MarcelineVQ/idris2-bytes
ByteStrings for Idris2!
stoand/kakoune-idris
Idris 2 IDE Protocol Integration for Kakoune
MarcelineVQ/idris2-newtype-deriving
Newtype, Generic Interface Deriving
dgellow/idris-docker-image
Dockerfile and images for idris and idris2
tokinanpa/numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
CAIMEOX/BedrockFP
Functional API wrapper for Minecraft bedrock script api (But Idris)
alissa-tung/readline
Unusable Idris2 binding of Isocline.
running-grass/idris2-markdown
markdown parse for idris2
AlgebraicWolf/idris2-russel
Implementation of Russel paradox in Idris 2
alissa-tung/eff
Unusable Resource-dependent algebraic effects library in Idris 2.
bamboo/idris2-dash-docset
Dash docset for Idris 2 libraries
ccfontes/faas-idris2
An OpenFaaS template for writing Functions in Idris 2.
gemmaro/idris2-tutorial
Japanese translation of "Functional Programming in Idris 2"
LibreCybernetics/veribase-idr2
Veribase Idris2 [MIRROR]
willclarktech/idris-ml
Learning repo using Idris2 for ML
0xd34df00d/idris2-indexed-vect
Indexed vectors for Idris!
Archaversine/P5Idr
p5.js Bindings for Idris using JS Backend (WIP)
Russoul/Nova
A programming language based on extensional Martin Lof Type Theory
tokinanpa/idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens