Edwin Brady's repositories
idris-lang.org
Idris web site
idris2-vim
Vim mode for Idris 2
SchemeEval
Experimental normalisation via scheme
idris2-clibs
Idris 2 bindings to various C libraries
Idris2-boot
A dependently typed programming language, a successor to Idris
Idris2-pkg-outline
Outline of an Idris2 package which uses C glue
TypeDD-Samples
Sample code from "Type Driven Development with Idris"
oplss-notes-2017
handouts and notes from the 2017 edition of the summer school
Language:HTML000
RingIdris
Ring solver for Idris
Language:Idris000
atom-language-idris
A Idris Mode for Atom.io
sodium-idris
Idris bindings for libsodium