Showing entries 4001-4100 out of 18268.
The Dove verification language
A PureScript interpreter with a Haskell FFI
Use Aeson from your Dovetail programs
A proof assistant for Magic: The Gathering puzzles
Dungeons of Wor
Reverse mode automatic differentiation
High-level file download based on URLs
High-level file download based on URLs
Simple tool to download images from RSS feeds (e.g. Flickr, Picasa)
A small, low-dependency library that provides turn-key file download over HTTP and HTTPS
A Haskell library for using Dozenal (Duodecimal - Base 12) numbers
Dozens api library
Pragmatic framework for dynamic programming
Data Parallel Haskell common config and debugging functions
Data Parallel Haskell example programs
Data Parallel Haskell common definitions used by other dph-lifted packages
Data Parallel Haskell lifted array combinators
Data Parallel Haskell lifted array combinators
(deprecated)
Data Parallel Haskell segmented arrays
Data Parallel Haskell segmented arrays
Data Parallel Haskell segmented arrays
(deprecated)
Libdpkg bindings
Darcs Patch Manager
A generic implementation of dynamic partial-order reduction (DPOR) for testing arbitrary models of…
A lightweight DNS proxy server, compatible with dnsmasq-china-list
Utilities for DP
See README for more info
Automatic derivation of optimized QuickCheck random generators
Actor library for Haskell
Playing draw poker
A port of asciimoo's drawille to haskell
Deterministic random bit generator (aka RNG, PRNG) based HMACs, Hashes, and Ciphers
Monadic FRP
Library and program for querying DVB (Dresdner Verkehrsbetriebe AG)
A tool for deriving hylomorphisms
Program to derive type class instances
Program to derive type class instances
Simple schema management for arbitrary databases
PostgreSQL support for the drifter schema migration tool
SQLite support for the drifter schema migraiton tool
Boozy streaming library
Deriving without spelling out "deriving"
A Haskell bindings to the DRMAA C library
Please see the README on GitHub at https://github.com/matsubara0507/drone-haskell#readme
Dropbox API client
A library to access the Dropbox HTTP API
A command line tool for resolving dropbox conflicts
An implementation of the Drunken Bishop visual fingerprinting algorithm
A subset of the miniKanren language
Implementation of DSA, based on the description of FIPS 186-4
Helper functions for setting up Double Submit Cookie defense for forms
Database Supported Haskell
SQL backend for Database Supported Haskell (DSH)
DSMC library for rarefied gas dynamics
DSMC toolkit for rarefied gas dynamics
Haskell Doge Serialized Object Notation Parser
DSON parser
Haskell Digital Signal Processing
A framework for using STM within distributed systems
Difference strings
DSV (delimiter-separated values)
Harmonix (Guitar Hero, Rock Band) DTA/DTB metadata library
Data To Class transformation
Parse and render DTD files (deprecated)
Parse and render XML DTDs
Basic types for representing XML DTDs
Haskell interface to the DTrace system tracing utility
(Fast) Dynamic Time Warping
Dual category
Network multiplayer 2D shooting game
Rose trees with cached and accumulating monoidal annotations
Automatically generate dual constructions
XML streaming parser/renderer for the Dublin Core standard elements
Haskell bindings for duckdb
A Haskell library for parsing text into structured data
A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell
A computer “algebra” system that knows nothing about algebra, at the core
Dumps the names and values of expressions to ease debugging
A plug-in for rendering GHC core
Generalised reactive framework supporting classic, arrowized and monadic FRP
Generalised reactive framework supporting classic, arrowized and monadic FRP
Testing library for Dunai
An implementation of the Dung argumentation frameworks
Duplicate any closure
Frontend development build tool
Durable/atomic file system writes (from rio package)
A tiny compile-time time utility library inspired by zeit/ms
Polymorphic protocol engine
Cryptographic operations
Network filtering exploration tools
Network filtering exploration tools that rely on pcap
Initial project template from stack
Dead simple password manager
Efficient automatic differentiation and code generation
A monadic interface to libdvdread
Read/write DVI and TFM file
Dvorak encoding for Haskell
Parser for DWARF debug format