Showing entries 2301-2400 out of 18345.
Checks context free grammar for ambiguity using brute force up to given limit
Confirm whether an email is valid and probably existant
Check whether module and package imports conform to the PVP
Inbuilt checking for ultra reliable computing
Bounds-checking integer types
Check properties on standard classes and data structures
Generate checklists relevant to a given patch
Compute and verify checksums of ISBN, IBAN, etc
A simple and intuitive library for automated testing
HUnit support for Chell
QuickCheck support for Chell
The core library for Cherry Haskell
Simple library for validating chess moves and parsing PGN files
A Library for Chess Game Logic
Basic chess library
Query interface for Chevalier
Parse and scrape recipe blogs
A tmux client for Polysemy
Testing tools for chiasma
Lazy infinite streams with O(1) indexing and applications for memoization
Lazy infinite streams with O(1) indexing and applications for memoization
Haskell bindings for Chipmunk2D physics engine
Helper for the Major System
A platform independent mechanism to render graphics using vnc
A solution to boolean blindness
Choose random elements from a stream
Command-line program to choose random element from a stream
A module containing basic functions that the prelude does not offer
A module containing basic geo functions
An implementation of concurrency ideas from Communicating Sequential Processes
MTL class instances for the CHP library
A set of high-level concurrency utilities built on Communicating Haskell Processes
A mirror implementation of chp that generates a specification of the program
Transformers instances for the CHP library
Constraint Handling Rules
Datatypes required for chr library
AST + surface language around chr
Parsing for chr library
Pretty printing for chr library
Alternative approach of 'read' that composes grammars instead of parsers
Neovim package manager
Measure timings of data evaluation
Time to manipulate time
A high-performance time library
Benchmarking tool with focus on comparing results
Cabal with c2hs dependencies
Cabal with c2hs dependencies
C2hs dependency analyzer
FFI for Chu2 Agda Web Server Interface
Behaviour Driven Development like Cucumber for Haskell
Typeclasses for dealing with various chunked data representations
Simple template library with static safety
Human-readable storage of text/binary objects
Automatically convert Generic instances to and from church representations
Removed; please see fmlist
Church encoded Maybe
Church encoded pair
Channel/Arrow based streaming computation library
A W3C compliant (X)HTML generating library
API bindings to IOHK's Cicero job scheduler
Cielo API v3 Bindings for Haskell
An interface to CIL
Simple C-like programming language
A binding to cinvoke
A monad for concurrent IO on a thread pool
Fast AES cipher implementation with advanced mode of operations
AES and common modes using AES-NI when available
Blowfish cipher
Camellia block cipher primitives
DES and 3DES primitives
Fast RC4 cipher implementation
Pure RC5 implementation
Implementation of CipherSaber2 RC4 cryptography
A Compiler IR Compiler
Circle API client for Haskell
Simple heuristic for packing discs of varying radii in a circle
The CircleCI REST API for Haskell
An implementation of the "circuit breaker" pattern to disable repeated calls to a failing system
A source plugin for manipulating circuits in clash with a arrow notation
Circular fixed-sized mutable vectors
Make bounded enum types circular
Types and a small DSL for working with netlistsvg
Cirru Parser in Haskell
Cirru Parser in Haskell
DEPRECATED in favor of webex-teams-api
Convert document IDs such as DOI, ISBN, arXiv ID to bibliographic reference
Generates citations and bibliography from CSL styles
A Citation Style Language implementation in Haskell
A Pandoc filter for processing bibliographic references with citeproc-hs
Bindings to CityHash
A new Haskeleton package
Data about Chinese, Japanese and Korean characters and languages
Clifford Algebra of three dimensional space
Interface to/from Cl3 and HMatrix
Interface to/from Cl3 and Linear
Simple CLI RPN calculator
Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot
ClaferIG is an interactive tool that generates instances of Clafer models
A wiki-based IDE for literate modeling with Clafer