A purely functional programming language with first class types

A dependently typed programming language, a successor to Idris

A prototype successor to Idris

Software Foundations in Idris

𝛌 Awesome Idris resources

Programming language agnostic type construction language based on polynomials.

Parser combinators for Idris

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing co…

TParsec - Total Parser Combinators in Idris

Various data structures for use in the Idris Language.

Type provider library for Idris

FFI Bindings to interact with the unsafe world of JavaScript

Recursion schemes for Idris

A port of QuickCheck to Idris

Js libraries for idris

Effectful bindings for SQLite (forked from IdrisWeb)

Idris Lib to interact with the DOM and Browser API for the JavaScript backend

Static blog generator in Idris.

An HTTP library for idris

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

State machines in Idris

A partial implementation of Protocol Buffers in Idris

Experiments with sequent calculi

Quicksort implemented by me in different languages

Free Monads and useful constructions to work with them

🌋 Idris implementation of patricia tree

Formally verified JSON parser

Experiments with linear types

Propositional logic tools, inspired by the Coq standard library.