Popular repositories

1. software-foundations software-foundations Public

   Software Foundations in Idris

   Idris 447 34

2. idris-mode idris-mode Public

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

   Emacs Lisp 259 70

3. idris-vim idris-vim Public

   Idris mode for vim

   Vim Script 221 52

4. idris-demos idris-demos Public

   Collection of Idris tests and demonstration programs

   Idris 191 13

5. idris-koans idris-koans Public

   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 co…

   Idris 176 26

6. idris-crypto idris-crypto Public

   Implementation of cryptographic primitives using Idris

   Idris 121 13