Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: speculate
Speculate automatically discovers laws about Haskell functions.
Give Speculate a bunch of Haskell functions and it will discover laws like:
equations, such as id x == x ;
inequalities, such as 0 <= x * x ;
conditional equations, such as x <= 0 ==> x + abs x == 0 .
26 versions
Latest release: over 2 years ago
1 dependent package
13,814 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/speculate
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/rudymatela%2Fspeculate
Dependent Repos 8
querl.dox/linux/alpine_linux/aports
- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Last synced: 11 months ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 352 MB - Last synced: about 3 hours ago - Pushed: about 13 hours ago
kindaro/cabal-prettify
- * test-data/other/speculate.cabal
- * test-data/other/speculate.cabal
Size: 356 KB - Last synced: 30 days ago - Pushed: about 1 month ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
victorlcasilva/aports
- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
rudymatela/extrapolate
generalize counter-examples of property-based testing- >=0.4.6 extrapolate.cabal
- * extrapolate.cabal
Size: 521 KB - Last synced: 16 days ago - Pushed: 3 months ago
tonmoyislam250/mineaports
- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 408 MB - Last synced: 27 days ago - Pushed: 27 days ago
bgamari/build-env
- 0.4.14 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 11 days ago - Pushed: about 1 year ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 383 MB - Last synced: 9 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 341 MB - Last synced: 20 days ago - Pushed: 21 days ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 343 MB - Last synced: 28 days ago - Pushed: 28 days ago
initdc/aports
- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
poproulx/99haskell
- 0.2.9 cabal.config
Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
bemcho/KafkaConsumerProducerTool
UI haskell based tool for sending data to kafka topics- 0.3.1 cabal.config
Size: 25 MB - Last synced: about 1 year ago - Pushed: about 4 years ago
ArtemShok/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 379 MB - Last synced: 8 months ago - Pushed: 8 months ago
rudymatela/conjure
Produce Haskell functions out of partial definitions- >=0.4.14 code-conjure.cabal
- * code-conjure.cabal
Size: 1.5 MB - Last synced: 20 days ago - Pushed: 3 months ago
RepoMirrors/aports
Alpine packages build scripts- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 1.36 GB - Last synced: 5 months ago
rudymatela/speculate
Speculate laws about Haskell functions- * speculate.cabal
Size: 1.05 MB - Last synced: 15 days ago - Pushed: 3 months ago
ziyao233/mips-alpine-aports
- 0.4.14 testing/darcs/cabal.config
- 0.4.14 testing/stack/cabal.config
Size: 218 MB - Last synced: 3 months ago - Pushed: 3 months ago
tommybuado/aports
Alpine packages build scripts- 0.4.14 testing/stack/cabal.config
Size: 314 MB - Last synced: 28 days ago - Pushed: 28 days ago