Librerie scritte in Idris

Un linguaggio di programmazione puramente funzionale con tipi di prima classe.

Back-end del bytecode JVM per Idris.

libreria di teoria delle categorie formalmente verificata.

Versione Idris di Domain Modeling Made Functional Book..

Appunti del corso SPLV20.

Apprendimento automatico accelerato con tipi dipendenti.

Codici relativi a Idris.

L'architettura Elm è stata trasferita al linguaggio di programmazione Idris.

Una prova che Idris è pacman completo (di jdublu10).

Idris Sandbox.

Macchina di Turing a Idris, con alcuni bei tipi.