Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: hedgehog

Hedgehog automatically generates a comprehensive array of test cases, exercising your software in ways human testers would never imagine. Generate hundreds of test cases automatically, exposing even the most insidious of corner cases. Failures are automatically simplified, giving developers coherent, intelligible error messages. To get started quickly, see the examples.
25 versions
Latest release: 9 months ago
29 dependent packages
43,239 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/hedgehog

Dependent Repos 505

Quantum-One-DLT/bcc-node Fork of The-Blockchain-Company/bcc-node

Launch turnkey AML/SEC compliant DAO's & DApps on the only AML/SEC compliant, quantum ready, 100% verified user base ecosystem - Quantum One. Stage 1 Public TestNet is derived from the Cardano ecosystem.

* bcc-node/bcc-node.cabal
* bcc-node-chairman/bcc-node-chairman.cabal
* bcc-testnet/bcc-testnet.cabal
* bcc-testnet/bcc-testnet.cabal

Size: 8.03 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

TheInnerLight/dormouse

>=1.0.1 && <2 dormouse-client/dormouse-client.cabal
>=1.0.1 && <2 dormouse-uri/dormouse-uri.cabal

Size: 181 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

serokell/tree-sitter

Serokell copy of tree-sitter repository, free from unneeded stuff for LIGO purposes

>=0.6 && <2 tree-sitter.cabal

Size: 2.74 MB - Last synced: about 1 month ago - Pushed: 8 months ago

michaelpj/plutus Fork of input-output-hk/plutus

* plutus-ledger-api/plutus-ledger-api.cabal
* plutus-tx/plutus-tx.cabal
* plutus-tx-plugin/plutus-tx-plugin.cabal

Size: 131 MB - Last synced: 5 months ago - Pushed: 5 months ago

cardano2vn/plutus

* plutus-ledger-api/plutus-ledger-api.cabal

Size: 3.83 MB - Last synced: 7 months ago - Pushed: about 1 year ago

contrevaloir/plutus

* plutus-ledger-api/plutus-ledger-api.cabal
* plutus-tx-plugin/plutus-tx-plugin.cabal

Size: 107 MB - Last synced: 8 months ago - Pushed: about 1 year ago

darrellcbrown/iohk

* marlowe-actus/marlowe-actus.cabal
* plutus-ledger/plutus-ledger.cabal
* plutus-ledger/plutus-ledger.cabal
* plutus-tx/plutus-tx.cabal

Size: 107 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

mattborghi/plutus Fork of IntersectMBO/plutus

The Plutus language implementation and tools

>=1.0 plutus-core/plutus-core.cabal
* plutus-core/plutus-core.cabal
* plutus-core/plutus-core.cabal
* plutus-ledger/plutus-ledger.cabal
* plutus-ledger/plutus-ledger.cabal
* plutus-ledger-api/plutus-ledger-api.cabal
* plutus-tx/plutus-tx.cabal

Size: 90 MB - Last synced: 21 days ago - Pushed: about 1 year ago

tek/polysemy-conc

Polysemy effects for concurrency

* packages/conc/polysemy-conc.cabal

Size: 359 KB - Last synced: 16 days ago - Pushed: 8 months ago

etorreborre/registry

Components as records of functions for Haskell

>=1.0 && <3.0 registry.cabal

Size: 693 KB - Last synced: 10 days ago - Pushed: 3 months ago

circuithub/rel8

Hey! Hey! Can u rel8?

>=1.0 && <1.2 rel8.cabal

Size: 2.4 MB - Last synced: 3 days ago - Pushed: 10 days ago

kowainik/learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

>=1.0.2 && <2 learn4haskell.cabal

Size: 923 KB - Last synced: 3 months ago - Pushed: 3 months ago

IntersectMBO/cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

* bench/locli/locli.cabal
* cardano-testnet/cardano-testnet.cabal
* cardano-testnet/cardano-testnet.cabal

Size: 118 MB - Last synced: 28 days ago - Pushed: 28 days ago

haskell-beginners-2022/exercises

💻 Exercises for the Haskell Beginners 2022 course

==1.0.* exercises.cabal

Size: 90.8 KB - Last synced: 6 months ago - Pushed: 6 months ago

sealchain-project/sealchain

Financial blockchain based on cardano-sl

* binary/test/sealchain-binary-test.cabal
* chain/test/sealchain-chain-test.cabal
* core/sealchain-core.cabal
* core/test/sealchain-core-test.cabal
* crypto/sealchain-crypto.cabal
* crypto/test/sealchain-crypto-test.cabal
* db/sealchain-db.cabal
* infra/sealchain-infra.cabal
* wallet/sealchain-wallet.cabal

Size: 7.64 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

GaloisInc/crucible

Crucible is a library for symbolic simulation of imperative programs

* uc-crux-llvm/uc-crux-llvm.cabal

Size: 41.4 MB - Last synced: 2 days ago - Pushed: 2 days ago

joshgodsiff/clearscore-backend-assignment

* clearscore.cabal

Size: 97.7 KB - Last synced: 9 months ago - Pushed: almost 2 years ago

tweag/linear-base

Standard library for linear types in Haskell.

* linear-base.cabal

Size: 1.49 MB - Last synced: 3 days ago - Pushed: about 1 month ago

jagajaga/FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

* lecture-65-parser-combinators/parsers.cabal

Size: 1.1 MB - Last synced: 10 days ago - Pushed: over 2 years ago

HachiSecurity/plc-llvm

A compiler from Plutus Core to LLVM IR.

* compiler/plc-llvm.cabal

Size: 820 KB - Last synced: about 1 year ago - Pushed: about 1 year ago

shapr/takedouble

duplicate file finder

* takedouble.cabal

Size: 46.9 KB - Last synced: 2 days ago - Pushed: almost 2 years ago

clash-lang/clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

>=1.0.3 && <1.2 clash-prelude/clash-prelude.cabal

Size: 17.9 MB - Last synced: about 16 hours ago - Pushed: 1 day ago

input-output-hk/cardano-repo-tool

A tool for handling the update of Cardano related git repos

==1.0.* cardano-repo-tool.cabal

Size: 145 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

jaccokrijnen/plutus Fork of IntersectMBO/plutus

The Plutus language implementation and tools

* plutus-ledger-api/plutus-ledger-api.cabal
* plutus-tx/plutus-tx.cabal

Size: 121 MB - Last synced: 4 months ago - Pushed: 4 months ago

Orbis-Tertius/tinyram-toolchain

Untyped Plutus Core to C compiler (WIP).

* compiler/uplc2c.cabal
* compiler/uplc2c.cabal

Size: 796 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

fpco/wai-middleware-auth

Authentication middleware that secures WAI application

* wai-middleware-auth.cabal

Size: 171 KB - Last synced: 2 days ago - Pushed: 4 months ago

tomferon/chunked

Study app for STEM

* api/api.cabal
* haskell/sync-map/sync-map.cabal

Size: 1.72 MB - Last synced: 5 months ago - Pushed: about 1 year ago

GaloisInc/bv-sized

A bitvector datatype that is parameterized by the vector width.

* bv-sized.cabal

Size: 250 KB - Last synced: 7 months ago - Pushed: over 1 year ago

RevealMind/itmo

* functional_programming/hw1/hw1.cabal

Size: 17.9 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

taktoa/eqsat

A language-generic implementation of equality saturation in Haskell

==0.5.* eqsat.cabal
==0.5.* eqsat.cabal

Size: 451 KB - Last synced: 7 months ago - Pushed: over 5 years ago

luc-tielen/eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

==1.* eclair-lang.cabal

Size: 3.89 MB - Last synced: 11 days ago - Pushed: 4 months ago

mkohlhaas/Haskell-in-Depth

>=0.5 && <1.1 ip-filter/ip-filter.cabal
>=0.5 && <1.1 ip-filter/ip-filter.cabal

Size: 28.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

signed/learning-haskell

0.5 cabal.config

Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago

databrary/databrary

behavioral science research media data sharing web application

* databrary.cabal
* runtime-dirs/databrary-inttest/databrary.cabal

Size: 218 MB - Last synced: 26 days ago - Pushed: 2 months ago

erikd/wide-word

A haskell library providing Word128 and Int128 types

==1.0.* wide-word.cabal

Size: 127 KB - Last synced: 3 days ago - Pushed: 7 months ago

qfpl/sv

Comma (and other) separated values

>=1 && <1.1 benchmarks/sv-benchmarks.cabal
>=0.5 && <1.1 sv/sv.cabal

Size: 1.12 MB - Last synced: 8 days ago - Pushed: 6 months ago

arbor/antiope

A tiny wrapper around Amazonka

>=0.5 && <1.1 antiope-optparse-applicative/antiope-optparse-applicative.cabal
>=0.5 && <1.1 antiope-s3/antiope-s3.cabal
>=0.5 && <1.1 antiope-sns/antiope-sns.cabal

Size: 377 KB - Last synced: 10 days ago - Pushed: over 2 years ago

typeclasses/assoc-list

An association list conceptually signifies a mapping, but is represented as a list (of key-value pairs)

>=1.0 && <1.2 assoc-listlike/assoc-listlike.cabal

Size: 70.3 KB - Last synced: 21 days ago - Pushed: about 2 years ago

typeclasses/haskell-phrasebook

The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs

* phrasebook.cabal

Size: 296 KB - Last synced: 16 days ago - Pushed: about 2 years ago

qfpl/tasty-hedgehog

Tasty integration for the Hedgehog property testing library

>=1.0.2 && <1.1.2 tasty-hedgehog.cabal
>=1.0.2 && <1.1.2 tasty-hedgehog.cabal

Size: 486 KB - Last synced: 16 days ago - Pushed: 4 months ago

GaloisInc/semmc

Stratified synthesis for learning machine code instruction semantics

* semmc/semmc.cabal

Size: 7.5 MB - Last synced: 3 days ago - Pushed: 9 months ago

ServiceNow/picard

PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.