Popular repositories Loading

1. software-foundations software-foundations Public

   Software Foundations in Idris

   Idris 452 34

2. idris-mode idris-mode Public

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

   Emacs Lisp 269 71

3. idris-vim idris-vim Public

   Idris mode for vim

   Vim Script 220 52

4. idris-demos idris-demos Public

   Collection of Idris tests and demonstration programs

   Idris 190 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 178 26

6. idris-crypto idris-crypto Public

   Implementation of cryptographic primitives using Idris

   Idris 121 13