Skip to content
@idris-lang

idris-lang

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.6k 379

  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

Repositories

Showing 5 of 5 repositories
  • Idris2 Public

    A purely functional programming language with first class types

    idris-lang/Idris2’s past year of commit activity
    Idris 2,550 379 571 (4 issues need help) 21 Updated Dec 18, 2024
  • Idris-dev Public

    A Dependently Typed Functional Programming Language

    idris-lang/Idris-dev’s past year of commit activity
    Haskell 3,440 644 691 18 Updated Aug 2, 2024
  • idris-lang.github.io Public

    The Idris website

    idris-lang/idris-lang.github.io’s past year of commit activity
    CSS 4 BSD-3-Clause 7 0 5 Updated Jun 4, 2024
  • idris-emptycg Public

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

    idris-lang/idris-emptycg’s past year of commit activity
    Haskell 50 21 1 2 Updated Nov 2, 2017
  • idris-tutorial Public

    A tutorial to the Idris Programming Language.

    idris-lang/idris-tutorial’s past year of commit activity
    TeX 94 27 0 1 Updated Dec 16, 2015

Most used topics

Loading…