Showing entries 4201-4300 out of 52683.
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
Parser for DWARF debug format
High-level wrapper around the dwarf library
A minimal testing library
Backend for a binding to the Microsoft DirectX 9 API
A binding to the Microsoft DirectX 9 API
A binding to the Microsoft DirectX 9 D3DX API
A library for working with binary Dyck words
Programatically identify space leaks in your program
Minimal FRP library
FRP for brick Terminal user interface library
FRP for gloss graphics and animation library
FRP library for processing-for-haskell package
A dynamic type for Haskell
Access the functions from the Cabal library without depending on it
Draw and update graphs in real time with OpenGL
Dynamic graph algorithms
Automatically derive dynamic linking methods from a data type
Lightweight loader of GHC-based modules or packages
A wrapper around MVector that enables pushing, popping and extending
Object-oriented programming with duck typing and singleton classes
Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP)
Interactive diagram windows
A pretty-print library that employs a dynamic programming algorithm for optimal rendering