Popular repositories

1. Idris-dev Idris-dev Public

   A Dependently Typed Functional Programming Language

   Haskell 3.4k 643

2. Idris2 Idris2 Public

   A purely functional programming language with first class types

   Idris 2.4k 362

3. idris-tutorial idris-tutorial Public

   A tutorial to the Idris Programming Language.

   TeX 95 27

4. idris-emptycg idris-emptycg Public

   An empty code generator, to be used as a starting point for any new back ends.

   Haskell 51 21

5. idris-lang.github.io idris-lang.github.io Public

   The Idris website

   CSS 3 5