Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage leancheck dependents

8 results

@hackage/code-conjure
synthesize Haskell functions out of partial definitions
BSD-3-Clausev0.6.10
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.5
@hackage/dejafu
A library for unit-testing concurrent programs.
MITv2.4.0.7
@hackage/express
Dynamically-typed expressions involving function application and variables.
BSD-3-Clausev1.0.18
@hackage/kudzu
coverage driven random testing framework
BSD-3-Clausev0.1.1.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