A purely functional programming language with first class types

A dependently typed programming language, a successor to Idris

𝛌 Awesome Idris resources

Parser combinators for Idris

SPLV20 course notes

TParsec - Total Parser Combinators in Idris

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

A Graphics Library for Idris 2.

Inigo: A Package Manager for Idris2

A test framework for Idris

Javascript DOM bindings for Idris2

GRIN backend for Idris

Experimental effects library for Idris 2

Dhall bindings for Idris

Idris port of Haskell's sop-core library

An Idris port of the Haskell Hedghog library

Yes, it is what you think it is

An Idris 2 build tool and a package manager

Free Monads and useful constructions to work with them

🌋 Idris implementation of patricia tree

van Laarhoven lenses for Idris

Parsers for various configuration files written in Idris.

Total lexer and parser for Idris2

Golden tests for command-line interfaces.

Automatically derivable JSON marshallers in the spirit of Haskell's aeson

Beginnings of a Postgres client for Idris 2

A hobby implementation of an ncurses binding for Idris 2

Minimal port of optparse-applicative to idris

Experimental SDL2 bindings for Idris2