idris2-ecosystem topic

List idris2-ecosystem repositories

idris2dart

47
Stars
5
Forks
Watchers

The Dart backend for Idris 2.

verified publisher icon bamboo

idris2-tls

28
Stars
5
Forks
Watchers

A portable idris2 implementation of TLS

verified publisher icon pufferffish