@haskell directory dependents

@hackage/config-ini

A library for simple INI-based configuration files.

@hackage/configuration-tools

Tools for specifying and parsing configurations

@hackage/configurator

Configuration management

@hackage/conftrack

Tracable multi-source config management

@hackage/construct

Haskell version of the Construct library for easy specification of file formats

@hackage/copilot

A stream DSL for writing embedded C programs.

@hackage/copilot-bluespec

A compiler for Copilot targeting FPGAs.

@hackage/copilot-c99

A compiler for Copilot targeting C99.

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/coquina

Yet another shell monad.

@hackage/core-program

Opinionated Haskell Interoperability

@hackage/cornelis

@hackage/cpkg

Build tool for C

@hackage/cpsa

Symbolic cryptographic protocol analyzer

@hackage/crackNum

Crack various integer and floating-point data formats

@hackage/cradle

A simpler process library

@hackage/criterion

Robust, reliable performance measurement and analysis

@hackage/crucible-debug

An interactive debugger for Crucible programs

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/crucible-syntax

A syntax for reading and writing Crucible control-flow graphs

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/crux-llvm

A verification tool for C programs.

@hackage/cryptol

Cryptol: The Language of Cryptography

@hackage/crypton-x509-store

X.509 collection accessing and storing methods

@hackage/crypton-x509-system

Handle per-operating-system X.509 accessors and storage

@hackage/csound-expression

library to make electronic music

@hackage/csound-expression-typed

typed core for the library csound-expression

@hackage/css-syntax

High-performance CSS tokenizer and serializer.

@hackage/csv-conduit

A flexible, fast, conduit-based CSV parser library for Haskell.