idris2 topic
List
idris2 repositories
idris2-pkgs
45
Stars
12
Forks
Watchers
An unofficial Idris2 package repository for Nix
idris2-tls
30
Stars
5
Forks
Watchers
A portable idris2 implementation of TLS
geb
28
Stars
9
Forks
Watchers
A Categorical View of Computation
velo-lang
16
Stars
2
Forks
16
Watchers
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.