Popular repositories Loading

1. Idris-dev Idris-dev Public

   A Dependently Typed Functional Programming Language

   Haskell 3.4k 644

2. Idris2 Idris2 Public

   A purely functional programming language with first class types

   Idris 2.5k 375

3. idris-tutorial idris-tutorial Public

   A tutorial to the Idris Programming Language.

   TeX 94 27

4. idris-emptycg idris-emptycg Public

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

   Haskell 50 21

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

   The Idris website

   CSS 4 7