@hackage QuickCheck dependents

366 results

@hackage/ogma-extra
Ogma: Helper tool to interoperate between Copilot and other languages.
LicenseRef-OtherLicensev1.7.0
@hackage/ogma-language-c
Ogma: Runtime Monitor translator: C Language Frontend
LicenseRef-OtherLicensev1.7.0
@hackage/ogma-language-lustre
Ogma: Runtime Monitor translator: Lustre Language Frontend
LicenseRef-OtherLicensev1.7.0
@hackage/ogma-language-smv
Ogma: Runtime Monitor translator: SMV Language Frontend
LicenseRef-OtherLicensev1.7.0
@hackage/openapi3-code-generator
OpenAPI3 Haskell Client Code Generator
MITv0.2.0.0
@hackage/opentracing-jaeger
Jaeger backend for OpenTracing
Apache-2.0v0.3.0.1
@hackage/opentracing-zipkin-v1
Zipkin V1 backend for OpenTracing
Apache-2.0v0.3.0.1
@hackage/opt-env-conf-test
A testing companion package for opt-env-conf
LicenseRef-OtherLicensev0.0.0.2
@cardano/optparse-applicative
Utilities and combinators for parsing command line options
BSD-3-Clausev0.16.2.1
@cardano/optparse-applicative-fork
Utilities and combinators for parsing command line options
BSD-3-Clausev0.18.1.0
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v0.26.0.1
@cardano/ouroboros-consensus-byron-test
Test infrastructure for Byron
Apache-2.0v0.3.0.0
@cardano/ouroboros-consensus-cardano
The instantation of the Ouroboros consensus layer used by Cardano
Apache-2.0v0.25.0.1
@cardano/ouroboros-consensus-cardano-test
Test of the instantation of the Ouroboros consensus layer used by Cardano
Apache-2.0v0.3.0.0
@cardano/ouroboros-consensus-diffusion
Integration for the Ouroboros Network layer
Apache-2.0v0.22.0.1
@cardano/ouroboros-consensus-mock-test
Tests of the mock ledger integration in the Ouroboros consensus layer
Apache-2.0v0.3.0.0
@cardano/ouroboros-consensus-protocol
Cardano consensus protocols
Apache-2.0v0.12.0.0
@cardano/ouroboros-consensus-shelley-test
Test infrastructure for Shelley
Apache-2.0v0.3.0.0
@cardano/ouroboros-consensus-test
Tests of the consensus layer
Apache-2.0v0.3.0.0
@cardano/ouroboros-network
A networking layer for the Ouroboros blockchain protocol
Apache-2.0v0.21.0.0
@cardano/ouroboros-network-framework
Ouroboros network framework
Apache-2.0v0.18.0.0
@cardano/ouroboros-network-protocols
Ouroboros Network Protocols
Apache-2.0v0.14.0.1
@cardano/ouroboros-network-testing
Common modules used for testing in ouroboros-network and ouroboros-consensus
Apache-2.0v0.8.1.0
@hackage/pantry
Content addressable Haskell package management
BSD-3-Clausev0.10.1
@hackage/parser-regex
Regex based parsers
BSD-3-Clausev0.3.0.0
@hackage/parsers
Parsing combinators
BSD-3-Clausev0.12.12
@hackage/patat
Terminal-based presentations using Pandoc
GPL-2.0-onlyv0.15.1.0
@hackage/persistent
Type-safe, multi-backend data serialization.
MITv2.15.1.0
@cardano/persistent-postgresql
Backend for the persistent library using postgresql.
MITv2.13.5.2.0.0.0.0.1
@cardano/persistent-sqlite
Backend for the persistent library using sqlite3.
MITv2.13.1.1.0.0.0.0.1

@hackage QuickCheck dependents

@hackage/ogma-extra

@hackage/ogma-language-c

@hackage/ogma-language-lustre

@hackage/ogma-language-smv

@hackage/openapi3-code-generator

@hackage/opentracing-jaeger

@hackage/opentracing-zipkin-v1

@hackage/opt-env-conf-test

@cardano/optparse-applicative

@cardano/optparse-applicative-fork

@cardano/ouroboros-consensus

@cardano/ouroboros-consensus-byron-test

@cardano/ouroboros-consensus-cardano

@cardano/ouroboros-consensus-cardano-test

@cardano/ouroboros-consensus-diffusion

@cardano/ouroboros-consensus-mock-test

@cardano/ouroboros-consensus-protocol

@cardano/ouroboros-consensus-shelley-test

@cardano/ouroboros-consensus-test

@cardano/ouroboros-network

@cardano/ouroboros-network-framework

@cardano/ouroboros-network-protocols

@cardano/ouroboros-network-testing

@hackage/pantry

@hackage/parser-regex

@hackage/parsers

@hackage/patat

@hackage/persistent

@cardano/persistent-postgresql

@cardano/persistent-sqlite