Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage leancheck dependents

15 results

@hackage/automata
automata
BSD-3-Clausev0.1.0.0
@hackage/code-conjure
synthesize Haskell functions out of partial definitions
BSD-3-Clausev0.5.14
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.2
@hackage/dejafu
A library for unit-testing concurrent programs.
MITv2.4.0.5
@hackage/express
Dynamically-typed expressions involving function application and variables.
BSD-3-Clausev1.0.16
@hackage/extrapolate
generalize counter-examples of test properties
BSD-3-Clausev0.4.6
@hackage/fitspec
refining property sets for testing Haskell programs
BSD-3-Clausev0.4.10
@hackage/hspec-leancheck
LeanCheck support for the Hspec test framework.
BSD-3-Clausev0.0.6
@hackage/kudzu
coverage driven random testing framework
BSD-3-Clausev0.1.1.0
@hackage/leancheck-enum-instances
listable instances for small enum types
BSD-3-Clausev0.1.0.0
@hackage/leancheck-instances
Common LeanCheck instances
BSD-3-Clausev0.0.5
@hackage/percent-format
simple printf-style string formatting
BSD-3-Clausev0.0.4
@hackage/speculate
discovery of properties about Haskell functions
BSD-3-Clausev0.4.20
@hackage/tasty-leancheck
LeanCheck support for the Tasty test framework.
BSD-3-Clausev0.0.2
@hackage/test-framework-leancheck
LeanCheck support for test-framework.
BSD-3-Clausev0.0.4