A purely functional programming language with first class types

𝛌 Awesome Idris resources

Parser combinators for Idris

Language Server for Idris2

A core language and API for dependently typed languages

Utilities and documentation for exploring idirs2's new elaborator reflection.

GRIN backend for Idris

Dhall bindings for Idris

Package manager for Idris

Idris port of Haskell's sop-core library

Exercism exercises in Idris.

Command line interface library in Idris

Lua backend for Idris 2

Idris Version Manager

Linear mutable References and Utilities

Hash-array map tries in Idris2

An XML library for Idris 2

Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules

markdown parse for idris2

deriving facility for Idris

Mustache parser implementation for Idris, basing on Haskell 'stache'