Search on Flora About Categories Packages

Flora :: [Package]

Search a package

Search on Flora About Categories Packages Login

@hackage QuickCheck dependents

3338 results

@hackage/ABList
An alternating list of two types
BSD-3-Clausev0.0.3
@hackage/ADPfusion
Efficient, high-level dynamic programming.
BSD-3-Clausev0.6.0.0
@hackage/ADPfusionForest
Dynamic programming on tree and forest structures
BSD-3-Clausev0.0.0.1
@hackage/ADPfusionSet
Dynamic programming for Set data structures.
BSD-3-Clausev0.0.0.2
@hackage/AERN-Basics
foundational type classes for approximating exact real numbers
BSD-3-Clausev2011.1.0.1
@hackage/AERN-Real
arbitrary precision real interval arithmetic
BSD-3-Clausev2011.1.0.1
@hackage/AERN-Real-Double
arbitrary precision real interval arithmetic
BSD-3-Clausev2011.1.0.2
@hackage/AERN-Real-Interval
arbitrary precision real interval arithmetic
BSD-3-Clausev2011.1.0.1
@hackage/AERN-RnToRm
polynomial function enclosures (PFEs) approximating exact real functions
BSD-3-Clausev0.5.0.1
@hackage/ASN1
ASN.1 support for Haskell
BSD-3-Clausev0.0.1.1
@hackage/AbortT-transformers
A monad and monadic transformer providing "abort" functionality
BSD-3-Clausev1.0.1.3
@hackage/Advise-me
Assessment services for the Advise-Me project
Apache-2.0v0.1
@hackage/AesonBson
Mapping between Aeson's JSON and Bson objects.
LicenseRef-OtherLicensev0.4.1
@hackage/Agata
Generator-generator for QuickCheck
BSD-3-Clausev0.2.1.1
@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.8.0
@hackage/AlanDeniseEricLauren
Find the minimal subset/submap satisfying some property.
BSD-3-Clausev0.1.0.1
@hackage/AlgoRhythm
Algorithmic music composition
BSD-3-Clausev0.1.0.0
@hackage/AndroidViewHierarchyImporter
Android view hierarchy importer
BSD-3-Clausev0.1.0.1
@hackage/AttoBencode
Fast Bencode encoding and parsing library
BSD-3-Clausev0.3.1.0
@hackage/BNFC
A compiler front-end generator.
BSD-3-Clausev2.9.6.1
@hackage/Binpack
Common bin-packing heuristics.
BSD-3-Clausev0.4.1
@hackage/BiobaseENA
European Nucleotide Archive data
BSD-3-Clausev0.0.0.2
@hackage/BiobaseFasta
streaming FASTA parser
BSD-3-Clausev0.4.0.1
@hackage/BiobaseInfernal
Infernal data structures and tools
GPL-3.0-onlyv0.8.1.0
@hackage/BiobaseNewick
Newick file format parser.
BSD-3-Clausev0.0.0.2
@hackage/BiobaseTypes
Collection of types for bioinformatics
BSD-3-Clausev0.2.1.0
@hackage/BiobaseXNA
Efficient RNA/DNA/Protein Primary/Secondary Structure
BSD-3-Clausev0.11.1.1
@hackage/BitStringRandomMonad
BSD-3-Clausev1.1.0.2
@hackage/BitSyntax
A module to aid in the (de)serialisation of binary data
BSD-3-Clausev0.3.2.2
@hackage/C-structs
C-Structs implementation for Haskell
MITv0.2.0.3

Next