Idris

xmonad with the X11 abstracted and configured with Idris.

Parser combinators for Idris.

Type-safe physical computations and unit conversions in Idris.

Type provider library for Idris.

FFI Bindings to interact with the unsafe world of JavaScript.

Various data structures for use in the Idris Language.

Effectful bindings for SQLite.

HTTP library for Idris.

Ring solver for Idris.

Test framework for Idris.

Parsers for various configuration files written in Idris.

Probabilistic computation in Idris.

Partial implementation of Protocol Buffers in Idris.

Free Monads and useful constructions to work with them.

Formally verified category theory library

Programming language-agnostic, algebraic data type definition language

JVM bytecode backend for Idris.

LLVM backend.

Erlang backend.

Experimental Malfunction (OCaml internal representation) backend.

A package manager for idris, in idris

A package manager for Idris

A simple build system for Idris