17 open source projects by idris-hackers

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

Idris mode for vim

Collection of Idris tests and demonstration programs

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.

Implementation of cryptographic primitives using Idris

A secure web framework, built in the Idris language.

A Idris Mode for Atom.io

Java Code Generator for Idris

System POSIX bindings for Idris.

An old tutorial for using `Effects` in Idris.

Software Foundations in Idris

Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.

A Plugin to use Idris with Sublime

FFI Bindings to interact with the unsafe world of JavaScript

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!

Idris LLVM codegen factored out

Idris Lib to interact with the DOM and Browser API for the JavaScript backend