Idris Hackers

Software Foundations in Idris

idris-hackers

A Idris Mode for Atom.io

idris-hackers

Implementation of cryptographic primitives using Idris

idris-hackers

Collection of Idris tests and demonstration programs

idris-hackers

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code...

idris-hackers

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-hackers

Idris mode for vim

idris-hackers

A secure web framework, built in the Idris language.

idris-hackers

An old tutorial for using `Effects` in Idris.

idris-hackers

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"

idris-hackers