Showing entries 8701-8800 out of 19303.
Hydrogen Prelude
Hydrogen Prelude /w
Hydrogen Syntax
Hydrogen Tools
Hydrogen Version Type
Simple web application server
WebGL live-coding environment for writing shaders with Hylogen
A package for solving dynamic programming problems in Haskell
GLSL embedded in Haskell
Tools for hybrid logics related programs
Tableau based theorem prover for hybrid logics
Very small programs for hybrid logics
Display class for the HyperHaskell graphical Haskell interpreter
Display instances for the HyperHaskell graphical Haskell interpreter
Server back-end for the HyperHaskell graphical Haskell interpreter
Interactive HTML apps using type-safe serverside Haskell
Interactive HTML apps using type-safe serverside Haskell
A fast, trustworthy HTTP(s) server built
Hyperfunctions
Hypergeometric function of a matrix argument
Hypergeometric functions
Reliable performance measurement with robust data export
An approximate streaming (constant space) unique object counter
Approximate cardinality estimation using constant space
A thin wrapper for the Hyperpublic API
A parser for the _hyperscript programming language
Typed ASTs
Text hyphenation algorithm
Configurable Knuth-Liang hyphenation
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 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
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