Popular repositories Loading

1. Idris-dev Idris-dev Public

   A Dependently Typed Functional Programming Language

   Haskell 3.5k 634

2. Idris2 Idris2 Public

   A purely functional programming language with first class types

   Idris 2.8k 395

3. idris-tutorial idris-tutorial Public archive

   A tutorial to the Idris Programming Language.

   TeX 95 26

4. idris-emptycg idris-emptycg Public

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

   Haskell 51 20

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

   The Idris website

   CSS 7 10