idris2 topic

List idris2 repositories

idris2-pkgs

45
Stars
12
Forks
Watchers

An unofficial Idris2 package repository for Nix

verified publisher icon claymager

idris2dart

47
Stars
5
Forks
Watchers

The Dart backend for Idris 2.

verified publisher icon bamboo

idris2-tls

30
Stars
5
Forks
Watchers

A portable idris2 implementation of TLS

verified publisher icon pufferffish

Idris2-Grin

31
Stars
2
Forks
Watchers

GRIN backend for Idris2

verified publisher icon Z-snails

Idris2-Lua

27
Stars
1
Forks
Watchers

Lua backend for Idris 2

verified publisher icon Russoul

geb

28
Stars
9
Forks
Watchers

A Categorical View of Computation

verified publisher icon anoma