Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: hedgehog-quickcheck
Use QuickCheck generators in Hedgehog and vice versa.
Hedgehog is a modern property-based testing system, in the spirit of
QuickCheck. Hedgehog uses integrated shrinking, so shrinks obey the
invariants of generated values by construction.
To get started quickly, see the examples:
<https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-
2 versions
Latest release: almost 5 years ago
12,694 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/hedgehog-quickcheck
Dependent Repos 38
Orbis-Tertius/tinyram-toolchain
Untyped Plutus Core to C compiler (WIP).- * compiler/uplc2c.cabal
Size: 796 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
signed/learning-haskell
- 0.1 cabal.config
Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago
CardanoSolutions/ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano- * server/ogmios.cabal
Size: 54.2 MB - Last synced: 7 days ago - Pushed: 8 days ago
etorreborre/producer-hs
Simple streaming library for Haskell- 0.1 cabal.config
Size: 39.1 KB - Last synced: 13 days ago - Pushed: over 6 years ago
google/haskell-indexer
Emits code crossreference data for Haskell sources.- ==0.1 wrappers/stack-docker/everything/everything.cabal
Size: 447 KB - Last synced: 6 days ago - Pushed: almost 4 years ago
querl.dox/linux/alpine_linux/aports
- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Last synced: 11 months ago
fuag155555/hasktorch-secondclone
somehow the first clone got corrupted- * experimental/gradually-typed/hasktorch-gradually-typed.cabal
Last synced: over 1 year ago
icicle-lang/icicle-ambiata
A streaming query language.- ==0.1.* icicle-compiler/icicle.cabal
Size: 13.5 MB - Last synced: about 1 year ago - Pushed: over 3 years ago
hasktorch/hasktorch
Tensors and neural networks in Haskell- * experimental/gradually-typed/hasktorch-gradually-typed.cabal
Size: 13.3 MB - Last synced: 23 days ago - Pushed: 23 days ago
icicle-lang/icicle
Icicle Streaming Query Language- * icicle-compiler/icicle.cabal
Size: 14.2 MB - Last synced: 10 days ago - Pushed: 10 days ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 352 MB - Last synced: about 24 hours ago - Pushed: 1 day ago
blockfrost/ogmios Fork of CardanoSolutions/ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano- * server/ogmios.cabal
Size: 19.6 MB - Last synced: 13 days ago - Pushed: 3 months ago
kizzx2/haskell-qrcode
QR Code encoder in pure Haskell- * qrcode.cabal
Size: 39.1 KB - Last synced: 4 days ago - Pushed: 12 months ago
fuag155555/hasktorch
Tensors and neural networks in Haskell- * experimental/gradually-typed/hasktorch-gradually-typed.cabal
Last synced: over 1 year ago
dnaumenko/learning_notes
Collection of exercises from various books/sites- 0.1 learning_haskell/cabal.config
Size: 4.29 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
rmourey26/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support- * ouroboros-consensus-shelley-test/ouroboros-consensus-shelley-test.cabal
Last synced: about 1 year ago
input-output-hk/cardano-ledger-1-tech-writing-tweaks Fork of input-output-hk/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.- * eras/shelley/test-suite/cardano-ledger-shelley-test.cabal
Size: 37.3 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
jacobstern/hamilton
- 0.1 cabal.config
- 0.1 hamilton/cabal.config
Size: 856 KB - Last synced: over 1 year ago
joeyginorio/gen_tm
term generator for simply typed lambda calculus, combinatory logic.- * gen-tm.cabal
Size: 354 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
rmourey26/cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release- * shelley/chain-and-ledger/shelley-spec-ledger-test/shelley-spec-ledger-test.cabal
- * shelley/chain-and-ledger/shelley-spec-ledger-test/shelley-spec-ledger-test.cabal
Last synced: about 1 year ago
victorlcasilva/aports
- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tonmoyislam250/mineaports
- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
monika359b/cardano
- * server/ogmios.cabal
Size: 2.71 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
lae/haskell-dns-message
Mirrored from https://github.com/laech/haskell-dns-message.git- 0.1 cabal.config
Last synced: over 1 year ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 408 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
mlabs-haskell/ogmios Fork of CardanoSolutions/ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano- * server/ogmios.cabal
Size: 18.2 MB - Last synced: 14 days ago - Pushed: about 1 year ago
bgamari/build-env
- 0.1.1 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 15 days ago - Pushed: about 1 year ago
hexresearch/hschain
- * hschain-examples/hschain-examples.cabal
Size: 8.15 MB - Last synced: 22 days ago - Pushed: over 1 year ago
wireapp/saml2-web-sso
Library and example web app for the SAML Web-based SSO profile.- >=0.1.1 saml2-web-sso.cabal
- >=0.1.1 saml2-web-sso.cabal
Size: 715 KB - Last synced: 6 days ago - Pushed: about 1 month ago
e-ntro-py/utopia Fork of concrete-utopia/utopia
Design ❤️ Code- * clientmodel/lib/utopia-clientmodel.cabal
Size: 169 MB - Last synced: 11 months ago - Pushed: 11 months ago
Tiamat-Tech/utopia Fork of concrete-utopia/utopia
Design ❤️ Code- * clientmodel/lib/utopia-clientmodel.cabal
Size: 168 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
TheRakeshPurohit/utopia Fork of concrete-utopia/utopia
Design ❤️ Code- * clientmodel/lib/utopia-clientmodel.cabal
Size: 190 MB - Last synced: 4 months ago - Pushed: 4 months ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 383 MB - Last synced: 13 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 341 MB - Last synced: 24 days ago - Pushed: 25 days ago
MitchellTesla/Cardano-SCK
Smart-Contract Kit/Lib for Cardano with Full-Node, Rust Modular-Toolbox, Cardano-Launcher, and Hydra POC- * cardano-graphql/cardano-ogmios/server/ogmios.cabal
Size: 58.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
serokell/edna
An open-source tool for data analysis aimed to help researchers with their experiments.- * backend/edna.cabal
Size: 2.37 MB - Last synced: about 1 month ago - Pushed: 6 months ago
jcgentry/RubiksCube
- 0.1 cabal.config
Size: 11.8 MB - Last synced: 11 months ago - Pushed: over 6 years ago
onepunchtech/one-punch-linux
- 0.1 cabal.config
Size: 38.1 KB - Last synced: about 1 month ago - Pushed: over 6 years ago
monnef/youtube-tool
CLI tool for easy downloading and opening of videos from YouTube.- 0.1 cabal.config
Last synced: about 1 year ago
Jacob-Holm-Mortensen/my-project
- 0.1 cabal.config
Size: 10.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
chroth7/AoCHaskell
Advent of Code - teaching myself how to Haskell (experiments, ideas, testing...)- 0.1 cabal.config
Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
anhmiuhv/learn_haskell
- 0.1 median/cabal.config
Size: 5.49 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
dnaumenko/learning_haskell
- 0.1 cabal.config
Size: 784 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
DylanHobbs/haskell-shapes
- 0.1 cabal.config
Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
romue404/wildsow.hs 📦
A card game implemented in Haskell- 0.1 cabal.config
Size: 11 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
initdc/aports
- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
yannick-cw/para-search
searching with haskell- 0.1 cabal.config
Size: 23.4 KB - Last synced: 2 months ago - Pushed: almost 7 years ago
poproulx/99haskell
- 0.1 cabal.config
Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
syallop/PLPrinter
Pretty-print documents with line-wrapping and indentation.- * PLPrinter.cabal
Size: 25.4 KB - Last synced: 5 months ago - Pushed: 5 months ago
begray/haskell-crawler-example
Wikipedia crawler in Haskell- 0.1 cabal.config
Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
begray/wiki-crawlers
Wikipedia crawlers implemented in different languages- 0.1 haskell/cabal.config
Size: 85.9 KB - Last synced: about 1 year ago - Pushed: about 4 years ago
courses-at-nju-by-hfwei/learning-haskell
Learn Haskell and Generally Functional Programming- 0.1 haskell-tutorial/cabal.config
- 0.1 realworld-haskell/cabal.config
Size: 3.51 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
5pecia1/yesod-study
- 0.1 cabal.config
Size: 25.4 KB - Last synced: 3 months ago - Pushed: over 6 years ago
The-Blockchain-Company/shardagnostic-network
- * shardagnostic-consensus-cole-test/shardagnostic-consensus-cole-test.cabal
- * shardagnostic-consensus-cole-test/shardagnostic-consensus-cole-test.cabal
Size: 4.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
The-Blockchain-Company/bcc-ledger-specs
- * sophie/chain-and-ledger/sophie-spec-ledger-test/sophie-spec-ledger-test.cabal
- * sophie/chain-and-ledger/sophie-spec-ledger-test/sophie-spec-ledger-test.cabal
Size: 15.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
The-Blockchain-Company/bcc-wallet
- * lib/core/bcc-wallet-core.cabal
Size: 3.86 MB - Last synced: about 1 year ago - Pushed: about 2 years ago
maiermic/render-svg-in-sdl2-haskell
An example how to render SVG images in SDL 2 in Haskell.- 0.1 cabal.config
Size: 36.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
maiermic/haskell-dnants
A simple ant colony simulation based on a cellular automata.- 0.1 cabal.config
Size: 4.57 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
mahulst/advent2017
Advent of code 2017 in Haskell- 0.1 day1/cabal.config
- 0.1 day2/cabal.config
Size: 25.4 KB - Last synced: about 1 month ago - Pushed: over 6 years ago
bemcho/KafkaConsumerProducerTool
UI haskell based tool for sending data to kafka topics- 0.1 cabal.config
Size: 25 MB - Last synced: about 1 year ago - Pushed: about 4 years ago
michael8090/csyt-design
- 0.1 cabal.config
Size: 25.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
maiermic/haskell-sdl2-jump-and-run
A simple Jump 'n' Run game implemented in Haskell using SDL2.- 0.1 cabal.config
Size: 447 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
fisx/bob18-tutorial-hedgehog
http://bobkonf.de/2018/fischmann.html- * bob18-tutorial-hedgehog.cabal
Size: 15.6 KB - Last synced: about 1 year ago - Pushed: about 6 years ago
SamProtas/slack-groupme-bridge
A bridge between a GroupMe group and a Slack channel- 0.1 cabal.config
Size: 43 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
sertel/kvstore
- 0.1 cabal.config
Size: 291 KB - Last synced: about 1 year ago - Pushed: over 5 years ago
eli-jordan/haskell-sudoku-solver
- 0.1 cabal.config
Size: 1.87 MB - Last synced: about 2 months ago - Pushed: almost 6 years ago
chadlaing/feht
Predictive marker discovery for groups; binary data, genomic data (single nucleotide variants), arbitrary character data.- 0.1 cabal.config
Size: 129 KB - Last synced: 2 months ago - Pushed: almost 6 years ago
milloni/cardano-ledger Fork of input-output-hk/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.- * eras/shelley/test-suite/cardano-ledger-shelley-test.cabal
Size: 37.7 MB - Last synced: 10 months ago - Pushed: over 1 year ago
RoiPerelman/nintyNineHaskellProblems
- 0.1 cabal.config
Size: 53.7 KB - Last synced: 10 months ago - Pushed: over 6 years ago
leobel/ogmios Fork of CardanoSolutions/ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano- * server/ogmios.cabal
Size: 16.7 MB - Last synced: 10 months ago - Pushed: about 2 years ago
sourabhxyz/cardano-ledger Fork of input-output-hk/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.- * libs/cardano-ledger-binary/cardano-ledger-binary.cabal
Size: 77 MB - Last synced: 10 months ago - Pushed: 10 months ago
freeman42x/haskell-hedgehog Fork of hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.- * hedgehog-example/hedgehog-example.cabal
- * hedgehog-example/hedgehog-example.cabal
Size: 750 KB - Last synced: 10 months ago - Pushed: about 4 years ago
danielholmes/sudoku-solver
Enter a 4 or 9 size Sudoku and be presented with solutions to it- 0.1 cabal.config
Size: 53.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
Trueblueaddie/ouroboros-network Fork of input-output-hk/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support- * ouroboros-consensus-byron-test/ouroboros-consensus-byron-test.cabal
- * ouroboros-consensus-byron-test/ouroboros-consensus-byron-test.cabal
Size: 458 MB - Last synced: 10 months ago - Pushed: over 1 year ago
sierkov/cardano-ledger Fork of input-output-hk/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.- * libs/cardano-ledger-binary/cardano-ledger-binary.cabal
Size: 48.5 MB - Last synced: 9 months ago - Pushed: about 1 year ago
mikaeldusenne/cardano-transactions Fork of input-output-hk/cardano-transactions
Library utilities for constructing and signing Cardano transactions.- * cardano-transactions.cabal
Size: 8.22 MB - Last synced: 9 months ago - Pushed: over 3 years ago
hfco/cardano-haskell-packages Fork of input-output-hk/cardano-haskell-packages
Metadata for Cardano's Haskell package repository- * _sources/cardano-ledger-binary/1.1.0.0/revisions/1.cabal
Size: 77 MB - Last synced: 9 months ago - Pushed: 11 months ago
ArtemShok/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.1 testing/darcs/cabal.config
- 0.1.1 testing/stack/cabal.config
Size: 379 MB - Last synced: 9 months ago - Pushed: 9 months ago