Showing entries 8901-9000 out of 57769.
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…
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
Utilties for working with dataframes in IHaskell
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
Haskell Web Framework
JSX-like but for Haskell
Dev tools for IHP
Provides the IHP migrate binary
Call GPT4 from your Haskell apps
Extra data types for postgresql-simple
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
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)