Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. package copilot-libraries

    Libraries for the Copilot language. Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.

  2. package copilot-theorem

    k-induction for Copilot. Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.

  3. package core-program

    Opinionated Haskell Interoperability A library to help build command-line programs, both tools and longer-running daemons. A description of this package, a list of features, and some background to its design is contained in the README on GitHub. See Core.Program.Execute to get started.

  4. package cql-io

    Cassandra CQL client. CQL Cassandra driver supporting native protocol versions 3 and 4. This library uses the cql library which implements Cassandra's CQL protocol and complements it with the neccessary I/O operations. The feature-set includes:

    • Node discovery. The driver discovers nodes automatically from a small set of bootstrap nodes.
    • Customisable load-balancing policies. In addition to pre-built LB policies such as round-robin, users of this library can provide their own policies if desired.
    • Support for connection streams. Requests can be multiplexed over a few connections.
    • Customisable retry settings. Support for default retry settings as well as local overrides per query.
    • Prepared queries. Prepared queries are an optimisation which parse and prepare a query only once on Cassandra nodes but execute it many times with different concrete values.
    • TLS support. Client to node communication can optionally use transport layer security (using HsOpenSSL).

  5. package crc32c

    crc32c Haskell bindings for crc32c

  6. package crdt-event-fold

    Garbage collected event folding CRDT. Garbage collected event folding CRDT. Consistently apply arbitrary operations to replicated data.

  7. package crypto-api-tests

    A test framework and KATs for cryptographic operations. A test framework for hash and cipher operations using the crypto-api interface. Known answer tests (KATs) for common cryptographic algorithms are included. Patches welcome (both adding KATs for more algorithms or property tests for classes of algorithms).

  8. package cryptocompare

    Haskell wrapper for the cryptocompare API Haskell wrapper for the cryptocompare API, a source of information and pricing of different crypto-currencies.

  9. package cryptohash-cryptoapi

    Crypto-api interfaces for cryptohash Crypto-api interfaces for cryptohash

  10. package crypton-pem

    Privacy Enhanced Mail (PEM) file format reader and writer. A library to read and write files in the Privacy Enhanced Mail (PEM) format.

Page 174 of many | Previous | Next