Showing entries 3301-3400 out of 57769.
Cryptol: The Language of Cryptography
Cryptography Primitives sink
Cryptography Primitives sink
ASN.1 data (raw, BER or DER) readers and writers
A monadic parser combinator for a ASN.1 stream
ASN.1 types
NaCl crypto/secret box implementations based on crypton primitives
Crypton conduit
Simple and easy network connection API
Simple and easy network connection API
Privacy Enhanced Mail (PEM) file format reader and writer
SOCKS Protocol Version 5
X509 reader and writer
X509 reader and writer
X.509 collection accessing and storing methods
X.509 collection accessing and storing methods
X.509 collection accessing and storing methods
Handle per-operating-system X.509 accessors and storage
Handle per-operating-system X.509 accessors and storage
Utility for X509 certificate and chain
X.509 Certificate and CRL validation
X.509 Certificate and CRL validation
Cryptography Primitives sink
Cryptography Primitives sink
Cryptonite conduit
Crypto stuff using OpenSSL cryptographic library
Serialization of cryptographic data types
Bindings for Cryptsy cryptocurrency exchange API
Control Crystalfontz LCD displays
Connection-set algebra (CSA) library
Compiler plugin for common subexpression elimination
Analytical CSG (Constructive Solid Geometry) library
A gallery of Csound instruments
MIDI controllers
Library to make electronic music
Dynamic core for csound-expression library
Opcodes for the library csound-expression
Typed core for the library csound-expression
A musical sampler based on Csound
Discrete constraint satisfaction problem (CSP) solver
Definition of a CSP core-language
Cspm command line tool for analyzing CSPM specifications
Firing rules semantic of CSPM
A CSP-M parser compatible with FDR-2.91
An interpreter for CSPM
Some modules specific for the ProB tool
A command line type checker for CSPM files
AST and pretty printer for CSPm
Minimal monadic CSS DSL
Defining and manipulating css easing strings
Parsing, rendering and manipulating css selectors in Haskell
EDSL for CSS
High-performance CSS tokenizer and serializer
CSS parser and renderer
CSV loader and dumper
A flexible, fast, conduit-based CSV parser library for Haskell
A flexible, fast, enumerator-based CSV parser library for Haskell
A collection of CSV tools
Extracts data from a CSV file
Scripts for manipulating tables stored as CSV files
A small program that will read csv files and create qif files
Binding to the Google ctemplate library
Packaging of Manuel Chakravarty's CTK Light for Hackage
A programming language for text modification
Open records using closed type families
Non-blocking concurrent map
Cubic DSL for 3D printing
Implementation of Univalence in Cubical Sets
Efficient manipulating of 2D cubic bezier curves
Natural cubic spline interpolation
FFI bindings to the CUDA BLAS library
3D Yampa/GLUT Puzzle Game
Haskell Implementation of Cuckoo Filters
Pure and impure Cuckoo Filter
FFI binding to the CUDA interface for programming NVIDIA GPUs
Bindings to the CUDD binary decision diagrams library
CDDL Generator and test utilities
Support for construction, rendering, and parsing of CUE sheets
Haskell bindings for the CUFFT library
Haskell binding to libcurl
Communicate with web services using JSON
Parsing and pretty-printing of cURL/wget cookie jars
A framework for declaratively writing curl based API tests
Bindings to libcurl, the multiprotocol file transfer library
Curly braces (brackets) expanding
Currencies representation, pretty printing and conversion
Types representing standard and non-standard currencies
ISO-4217 Currency Codes
Typesafe currency conversion
Get the current system locale in System
Curry types
Functions for manipulating Curry programs
Compile the functional logic language Curry to several intermediate formats
A package for simple, fast radiocarbon calibration
A package for simple, fast radiocarbon calibration
CurryDB: In-memory Key/Value Database
A simple HTTP server framework
Fast, Haskell RPC
Easy to use FFI Bridge for using Rust in Haskell
Terminal tool for viewing tabular data