Popular repositories Loading

1. software-foundations software-foundations Public

   Software Foundations in Idris

   Idris 455 35

2. idris-mode idris-mode Public

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

   Emacs Lisp 273 72

3. idris-vim idris-vim Public

   Idris mode for vim

   Vim Script 221 53

4. idris-demos idris-demos Public

   Collection of Idris tests and demonstration programs

   Idris 193 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 182 26

6. idris-crypto idris-crypto Public

   Implementation of cryptographic primitives using Idris

   Idris 123 13