8000 idris-lang repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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
      •387•2.7k•585•13•Updated May 30, 2025May 30, 2025

    • idris-lang.github.io

      Public
      The Idris website
      CSS
      •
      BSD 3-Clause "New" or "Revised" License
      •8•5•2•0•Updated Mar 16, 2025Mar 16, 2025

    • Idris-dev

      Public
      A Dependently Typed Functional Programming Language
      Haskell
      •
      Other
      •638•3.5k•691•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
    0