development

A Haskell neo4j client

Modules for parsing, generating and manipulating AB1 files

Bindings for the Z3 Theorem Prover

This package is Zaif Exchange Api wrapper

Zenhan library for Haskell

Haskell interface to Zenity dialogs

Haskell client library for Apache Zookeeper

A haskell wrapper for the Zulip API

Haskell interval types

Internationalization for Haskell

Code for the Haskell course taught at the University of Seville

Base i3blocks written in haskell

A type-safe wrapper around i3's IPC

A simple wrapper of In-App-Purchase receipt validate APIs

An API for the Interactive Brokers Trading Workstation written in pure Haskell

Validate and generate IBANs

A simple uncomplete ibus api

ICalendar format parser and org-mode converter

ICalendar data types, parser, and printer

Lattice iCE40 Primitive IP

A fast JSON document store with push notification support

A fast JSON document store with push notification support

A strange message received at the Pegovka observatory

Library for generating grids of hexagons and pentagons mapped to a sphere

Package for handling icon fonts in Haskell

String encoding conversion

Type safe iconv wrapper

Id (f a) data type

An IDE backend library

Shared library used be ide-backend and ide-backend-server

RTS for the IDE backend

An IDE backend server

Feedback services for intelligent tutoring systems

Interactive domain reasoner for logic and mathematics

Common types for mathematical domain reasoners

Interactive domain reasoner for statistics

Idempotent monoids

Flexible generation of identicons

Squares style for the identicon package

Numeric identifiers for values

ID3v2 (tagging standard for MP3 files) library

Deriving Applicative for sum types

Pure Haskell IDN and Punycode implementation

Implements IDNA (RFC 3490)

Converts Unicode hostnames into ASCII

A project manage tool for Idris

Functional Programming Language with Dependent Types

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

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