Repositories list

• Idris2

  Public
  A purely functional programming language with first class types

  dependent-typescompilerhacktoberfest

  Idris

  •

  Other

  •395•2.8k•593•12•Updated Dec 14, 2025Dec 14, 2025

• idris-lang.github.io

  Public
  The Idris website

  websitedependent-typesidris+ 2hacktoberfestidris2

  CSS

  •

  BSD 3-Clause "New" or "Revised" License

  •9•7•1•1•Updated Oct 31, 2025Oct 31, 2025

• Idris-dev

  Public archive
  A Dependently Typed Functional Programming Language

  Haskell

  •

  Other

  •632•3.5k•690•18•Updated Feb 17, 2025Feb 17, 2025

• idris-emptycg

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

  Haskell

  •

  Other

  •19•51•1•2•Updated Nov 2, 2017Nov 2, 2017

• idris-tutorial

  Public archive
  A tutorial to the Idris Programming Language.

  TeX

  •25•95•1•1•Updated Dec 16, 2015Dec 16, 2015