Skip to content

@idris-lang idris-lang

Change the repository type filter

All

    Repositories list

    5 repositories

    • Idris2

      Public
      A purely functional programming language with first class types
      dependent-typeshacktoberfestcompiler
      Idris
      •
      Other
      •389•2.7k•591•16•Updated Aug 8, 2025Aug 8, 2025

    • idris-lang.github.io

      Public
      The Idris website
      CSS
      •
      BSD 3-Clause "New" or "Revised" License
      •10•5•0•0•Updated Jul 22, 2025Jul 22, 2025

    • Idris-dev

      Public
      A Dependently Typed Functional Programming Language
      Haskell
      •
      Other
      •637•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
      •20•51•1•2•Updated Nov 2, 2017Nov 2, 2017

    • idris-tutorial

      Public
      A tutorial to the Idris Programming Language.
      TeX
      •26•95•0•1•Updated Dec 16, 2015Dec 16, 2015