development

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…

Indexable, serializable form of Data

Utilities for dealing with IEEE floating point numbers

Ieee-utils

Ieee-utils

Utilities for dealing with IEEE floating point numbers

Parser for IEEE-754 floating-point values

Version of Control

Library for the IEX Trading API

(?) and (?>) conditional operator

Branch on whether a constraint is satisfied

Put if statements within type constraints

Anaphoric and miscellaneous useful control-flow

Constructing and dissecting IFF files

Iterated Function System generation for Haskell

An inductive-form set constraint solver

Bindings to Instagram's API

An keyboard-driven interactive graph editor

Bindings for the Gtk/OS X integration library

Handle ignore files of different VCSes

Bindings to the igraph C library

International Geomagnetic Reference Field

A Haskell backend kernel for the Jupyter project

A Haskell backend kernel for the Jupyter project

IHaskell display instances for Aeson

IHaskell display instances for basic types

IHaskell display instances for blaze-html types

IHaskell display instances for charts types

IHaskell display instances for diagram types

IHaskell display instances for basic types

IHaskell display instance for Gnuplot (from gnuplot package)

IHaskell display instance for GraphViz (external binary)

IHaskell display instances for hatex

IHaskell display instance for hvega types

Embed R quasiquotes and plots in IHaskell notebooks

IHaskell - IHaskellDisplay instances of the image types of the JuicyPixels package

IHaskell display instances for bytestrings

IHaskell display instances for Parsec

IHaskell display instance for Plot (from plot package)

A rDisp quasiquote to show plots from Rlang-QQ in IHaskell

IHaskell extension for making the use of Symtegration more seamless

IPython standard widgets for IHaskell

JSX-like but for Haskell

Call GPT4 from your Haskell apps

Interpolated Haskell

Incremental HTTP iteratee

Optimised list functions for doing index-related things

A fast syntax highlighting library built with alex

Determine the type of an image by reading the first bytes

Image Filters (contrast, brightness, gaussian blur, etc)

Bindings to imagemagick library

Command-line image paste utility

Determine the size of some common image formats

An efficient IMAP client library, with SSL and streaming

Downloads email from imap SSL servers

Execute scripts on new messages using IDLE imap command

Execute scripts on new messages using IDLE imap command

Minimalistic .bib reference manager

A function to post an image to imgur

Uploader for Imgur

Animation Framework

Game engine with geometry, easing, animated text, delta rendering

A game with flying numbers and 8-bit color animations

An application to determine the maximum capacity of stdout buffer

Prelude library

Haskell binding for Imlib 2

Execute arbitrary actions for each item from RSS/Atom feeds

Spawn threads that never die (unless told to do so)

Build a pool of queue-processing worker threads

Create worker threads that logs exceptions and restarts

Immutaball platformer game

A GHC plugin for automatically importing modules

Multi-platform parser analyzer and generator

Deep embedding of imperative programs with code generation

Deep embedding of VHDL programs with code generation

A library for writing Imperative style haskell

Framework for defaulting superclasses

A math-inspired programmatic 2D & 3D CAD system

Auto generate hie-bios cradles & hie.yaml

Auto generate hie-bios cradles

A logging framework built around implicit parameters

Named and unnamed implicit parameters with defaults

Helps maintain consistency of imports

Tool for haskell imports refactoring

Generate code for importing directories automatically

Set of data and type definitions of impossible types