Showing entries 3001-3100 out of 18547.
Tiered general-purpose libraries with domain-specific applications
HTTP cookie parsing and rendering
HTTP cookie parsing and rendering
For serving cookies
Web cookies
Parser for the Cook markup language
A representation of latitude and longitude
A stream DSL for writing embedded C programs
A stream DSL for writing embedded C programs
A compiler for Copilot targeting FPGAs
A compiler for Copilot targeting C99
A compiler for Copilot targeting C99
Copilot interface to a C model-checker
An intermediate representation for Copilot
An intermediate representation for Copilot
FRP sketch programming with Copilot
Interpreter for Copilot
Interpreter for Copilot
A Haskell-embedded DSL for monitoring hard real-time distributed systems
A Haskell-embedded DSL for monitoring hard real-time distributed systems
Libraries for the Copilot language
Libraries for the Copilot language
A prettyprinter of Copilot Specifications
A prettyprinter of Copilot Specifications
A compiler for CoPilot targeting SBV
K-induction for Copilot
K-induction for Copilot
System for verifying the correctness of generated Copilot programs
Haskell interface to the Fedora Copr system
Copr API client libary
Yet another shell monad
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
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
An object frequency counter
Country data type and functions
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
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
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
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 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