System POSIX bindings for Idris.
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Idris mode for vim
Free Monads and useful constructions to work with them
A Idris Mode for Atom.io
Implementation of cryptographic primitives using Idris
Software Foundations in Idris
Idris LLVM codegen factored out
.travis.yml => build.sh converter
Collection of Idris tests and demonstration programs
A Plugin to use Idris with Sublime
Various minor modes for editors and some tool support.
primitive flat arrays containing Idris values
A repository containing interesting challenges to be solved in the Idris programming language
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
Java Code Generator for Idris
Java Runtime System for the Idris Programming Language
An old tutorial for using `Effects` in Idris.
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
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 and fixing them so that they type check.
Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
An IRC bot connected to an Idris REPL
A dependently-typed implementation of ISO 8601.
A secure web framework, built in the Idris language.
libusb binding for idris and Effectful USB programming