All Categories → No Category → idris2

Top 5 idris2 open source projects

GRIN backend for Idris2

✭ 26

Idris HTML haskell rust grin idris2

An unofficial Idris2 package repository for Nix

✭ 32

Nix shell Idris nix idris2

The Dart backend for Idris 2.

✭ 46

Idris Makefile dart flutter idris2 idris2-ecosystem

A portable idris2 implementation of TLS

✭ 25

Idris tls cryptography tls13 idris2 idris2-ecosystem

Lua backend for Idris 2

✭ 24

Idris lua Makefile c shell backend idris2

1-5 of 5 idris2 projects