@haskell base dependents

1126 results

@hackage/copilot-libraries
Libraries for the Copilot language.
BSD-3-Clausev4.4
@hackage/copilot-prettyprinter
A prettyprinter of Copilot Specifications.
BSD-3-Clausev4.4
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev4.4
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
BSD-3-Clausev4.4
@hackage/countdown-numbers-game
Solve problems from the number round of the Countdown game show
BSD-3-Clausev0.0.0.1
@hackage/cpsa
Symbolic cryptographic protocol analyzer
BSD-3-Clausev4.4.6
@hackage/cpu-features
A library to detect CPU features
BSD-3-Clausev0.1.0.0
@hackage/cpuinfo
Haskell Library for Checking CPU Information
MITv0.1.0.3
@hackage/crdt-event-fold
Garbage collected event folding CRDT.
MITv1.8.1.2
@hackage/criterion-compare
A simple tool for visualising differences in Criterion benchmark results
BSD-3-Clausev0.1.0.0
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
BSD-3-Clausev0.7.2
@hackage/crucible-debug
An interactive debugger for Crucible programs
BSD-3-Clausev0.1.0
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
BSD-3-Clausev0.7.1
@hackage/crucible-syntax
A syntax for reading and writing Crucible control-flow graphs
BSD-3-Clausev0.4.1
@hackage/crux
Simple top-level library for Crucible Simulation
BSD-3-Clausev0.7.2
@hackage/crux-llvm
A verification tool for C programs.
BSD-3-Clausev0.10
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.3.0
@hackage/crypton
Cryptography Primitives sink
BSD-3-Clausev1.0.4
@hackage/crypton-connection
Simple and easy network connection API
BSD-3-Clausev0.4.4
@hackage/crypton-x509-store
X.509 collection accessing and storing methods
BSD-3-Clausev1.6.10
@hackage/crypton-x509-validation
X.509 Certificate and CRL validation
BSD-3-Clausev1.6.14
@hackage/css-syntax
High-performance CSS tokenizer and serializer.
MITv0.1.0.2
@hackage/csv-conduit
A flexible, fast, conduit-based CSV parser library for Haskell.
BSD-3-Clausev1.0.1.1
@cardano/cuddle
CDDL Generator and test utilities
Apache-2.0v0.3.2.1
@hackage/currycarbon
A package for simple, fast radiocarbon calibration
MITv0.4.0.1
@hackage/curryer-rpc
Fast, Haskell RPC
LicenseRef-PublicDomainv0.4.0
@hackage/dahdit
Binary parsing and serialization with integrated size
BSD-3-Clausev0.8.0
@hackage/dahdit-audio
Audio file parsing/printing with dahdit
BSD-3-Clausev0.8.0
@hackage/dahdit-midi
MIDI and OSC parsing/printing with dahdit
BSD-3-Clausev0.8.0
@hackage/dahdit-network
Network protocol helpers for Dahdit
BSD-3-Clausev0.8.0