Showing entries 3101-3200 out of 56196.
An algebraic data type similar to Prelude Ordering
External core parser and pretty printer
Compile your own mini functional language with Core
Convenience wrappers around common data structures and encodings
Interoperability with the effectful effects system
A subset of Haskell using in UCC for teaching purpose
Opinionated Haskell Interoperability
Advanced telemetry
A rope type based on a finger tree over UTF-8 fragments
"Provide warnings for unexpected Core generation"
Interoperability with Servant
Interoperability with Wai/Warp
A bliki written using yesod
Write your main like it can call itself back
A GHC plugin for printing GHC's internal Core data structures
Manipulating Core Erlang source code
Bindings to Mac OSX's CoreFoundation framework
Launches CoreNLP and parses the JSON output
Types for interaction with CoreNLP
Classy optical monadic state
corneliscornelis
Agda-mode for Neovim
Please see the README on GitHub at https://github.com/isovector/cornelis#readme
Type-safe coroutines using lightweight session types
Bridge between the monad-coroutine and enumerator packages
Bridge between the monad-coroutine and iteratee packages
Object-oriented programming realization using coroutine
A CouchDB view server for Haskell
A modern, lightweight, complete client for CouchDB
CouchDB interface
Couch DB client library using http-conduit and aeson
Couch DB client library using http-enumerator and aeson
Bijective mappings between values and possibly infinite prefixes of [0..]
Countable, Searchable, Finite, Empty classes
Countable Text Inflections
Solve problems from the number round of the Countdown game show
An object frequency counter
Country data type and functions
ISO 3166 country codes and i18n names
A message-passing library for simplifying network applications
Simple and flexible CI system
Well-conditioned estimation of large-dimensional covariance matrices
Standalone IR for Cardano scripts
Exhaustivity Checking Library
Coya monoids
Haskell bindings to the CozoDB C API
A simple C++ parser with preprocessor features
A simple Brainfuck interpretter
Conduit-based CPIO
Build tool for C
An interpreter of Hagino's Categorical Programming Language (CPL)
High-level CPLEX interface
C++ Foreign Import Generation
Competitive programming problemsetting toolchain
Bindings for C++ demangling routines
A liberalised re-implementation of cpp, the C pre-processor
Crypto Pseudo Random Number Generator using AES in counter mode
Run random effect using cprng-aes, a crypto pseudo number generator
ExceptT replacement in CPS style
Symbolic cryptographic protocol analyzer
Cpu information and properties helpers
A library to detect CPU features
Binding for the cpuid machine instruction on x86 compatible processors
Haskell Library for Checking CPU Information
Modify the cpu frequency on OpenBSD systems
Bindings for libpython
Cassandra CQL binary protocol
Cassandra CQL binary protocol
Cassandra CQL client
Cassandra CQL client
Tinylog integration for cql-io
Command-Query Responsibility Segregation
Command-Query Responsibility Segregation
Example for cqrs package
Memory backend for the cqrs package
PostgreSQL backend for the cqrs package
SQLite3 backend for the cqrs package
Command-Query Responsibility Segregation Test Support
Command-Query Responsibility Segregation Test Support
Command-Query Responsibility Segregation
Code review tool
A haskell binding to cracklib
Crack various integer and floating-point data formats
A simpler process library
A UNIX configuration management library in Haskell
Code for Haskell: the Craft of Functional Programming, 3rd ed
2D graphics library with integrated TikZ output
Cairo backend for Craftwerk
Gtk UI for Craftwerk
Simulation user crawl paths
HTTP Racing Library
Implements various Cyclic Redundancy Checks (CRC)
Calculate the crc16-ccitt
Compute CRC16 checksums using a lookup table
Crc32c
Conflict-free replicated data types
Garbage collected event folding CRDT
Framework for artificial life experiments
Library to access secure credential storage providers
Secure Credentials Storage and Distribution
Secure Credentials Administration