idrisPackages

Functional Programming Language with Dependent Types

Primitive flat arrays containing Idris values

Base builtin Idris library

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

Small bifunctor library for idris

FFI-based byte buffers for Idris

Idris FFI binding for html5 canvas 2d api

Category Theory

Some Idris libraries including nodejs bindings and ISO8601 Date and Time

Comonads for Idris

Composition extras for Idris

Parsers for various configuration files written in Idris

Idris library to interact with the browser console

Various data structures for use in the Idris Language

Contrib builtin Idris library

Implementation of the Lambda Cube in Idris

Type class deriving with elaboration reflection

Descriptions, levitation, and reflecting the elaborator

Dict k v in Idris

Idris library to interact with the DOM

Effects builtin Idris library

Electron bindings for Idris

Infix pipe operators and some Nat, Float, String conversions

Some useful functions for Idris

Arrowized FRP library for Idris with static safety guarantees

Free Monads and useful constructions to work with them

Comonads for Idris

GLFW bindings for Idris

Parser and library for graphviz dot files

Idris Hash Array Mapped Trie

Theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Idris library for high resolution time

Idris library to interact with HTML

HTTP library for idris

Experimental HTTP framework for Idris

Recursion scheme library for Idris

Semantic highlighter for Idris code

FFI Bindings to interact with the unsafe world of JavaScript

Parser for Idris iPkg files written in Idris using Lightyear

Js library for Idris

Js libraries for idris

Van Laarhoven lenses for Idris

Parser combinators for Idris

Propositional logic tools, inspired by the Coq standard library

Idris mapping library

Binding of the GNU libmicrohttpd library to the Idris C backend

Proof that Idris is pacman complete

Immutable map from integer keys to values based on patricia tree

Type-safe way of working with permutations in Idris

Purely functional data structures in Idris

Composable and effectful production, transformation and consumption of streams of data

System POSIX bindings for Idris

Prelude builtin Idris library

Pruviloj builtin Idris library

Type-safe physical computations and unit conversions in Idris

Idris rational number type built from paths in the Stern Brocot tree

Recursion schemes for Idris

Port of Scala/Haskell Refined library to Idris

SDL2 binding for Idris

Semidirect products in Idris

Idris proofs for extensional equalities

Well-typed symmetric-monoidal category of concurrent processes

Collection of Idris snippets

Code for Software Foundations in Idris

Testing library for Idris

Simple TAP producer and consumer/reporter for Idris

Testing Utilities for Idris programs

Port of Haskell tf-random

Idris parser and serializer/deserealizer for TL language

TOML parser for Idris

Strongly Typed Paths for Idris

TParsec - Total Parser Combinators in Idris

Composable algorithmic transformation

Trees in Idris

UnionType in Idris

Virtual DOM in pure Idris

Abstract vector spaces in Idris

Idris library to interact with WebGL

Wadler-Leijen pretty-printing library

Little web server written in Idris

Idris library to interact with xhr

Idris YAML lib

Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent T…