Explore @idris-lang Open Source projects

@idris-lang

idris-lang

Stars
6,087
Global Org. Rank 3,821 (Top 2 %)
Registered about 11 years ago
Most used languages

Haskell
40.0 %

Idris 20.0 %

CSS
20.0 %

TeX
20.0 %

Idris-dev

A Dependently Typed Functional Programming Language

Idris2

A purely functional programming language with first class types

idris-tutorial

A tutorial to the Idris Programming Language.

idris-emptycg

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

idris-lang.github.io

The Idris website