Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage smallcheck dependents

127 results

@hackage/ADPfusionSet
Dynamic programming for Set data structures.
BSD-3-Clausev0.0.0.2
@hackage/DPutils
utilities for DP
BSD-3-Clausev0.1.1.0
@hackage/Enum
Non-crashing `Enum` operations
BSD-3-Clausev0.2.0.0
@hackage/FormalGrammars
(Context-free) grammars in formal language theory
GPL-3.0-onlyv0.4.0.0
@hackage/GenI
A natural language generator (specifically, an FB-LTAG surface realiser)
LicenseRef-GPLv0.25.0.1
@hackage/LTS
LTS: Labelled Transition System
MITv0.1.0.0
@hackage/ListT
List transformer
BSD-3-Clausev0.1.2.0
@hackage/LogicGrowsOnTrees
a parallel implementation of logic programming using distributed tree exploration
BSD-3-Clausev1.1.0.2
@hackage/Map
Class of key-value maps
BSD-3-Clausev0.1.3.3
@hackage/MuCheck-SmallCheck
Automated Mutation Testing for SmallCheck tests
GPL-2.0-onlyv0.3.0.4
@hackage/PrimitiveArray
Efficient multidimensional arrays
BSD-3-Clausev0.10.1.1
@hackage/XML
Extensible Markup Language
BSD-3-Clausev0.0.1.0
@hackage/accelerate-typelits
a typesafe way encode accelerate matrices and vectors
ISCv0.1.0.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/algo-s
An implementation of Knuth's algorithm S.
Apache-2.0v0.1.0.0
@hackage/appc
app container types and tools
MITv0.0.6
@hackage/arithmoi
Efficient basic number-theoretic functions.
MITv0.13.0.0
@hackage/arraylist
Memory-efficient ArrayList implementation
BSD-3-Clausev0.1.0.0
@hackage/bert
BERT implementation
BSD-3-Clausev1.2.2.5
@hackage/betacode
A codec for beta code (http://en.wikipedia.org/wiki/Beta_Code).
Apache-2.0v0.1.0.0
@hackage/btree
B-Tree on Unmanaged Heap
BSD-3-Clausev0.4.0
@hackage/bv-little
Efficient little-endian bit vector library
BSD-3-Clausev1.3.2
@hackage/bytestring-trie
An efficient finite map from bytestrings to values.
BSD-3-Clausev0.2.7.5
@hackage/candid
Candid integration
LicenseRef-Apachev0.5.0.2
@hackage/cdar-mBound
Exact real arithmetic using Centred Dyadic Approximations
BSD-3-Clausev0.1.0.4
@hackage/chart-unit
Native haskell charts.
BSD-3-Clausev0.7.0.0
@hackage/compositional-data
Compositional Data Types
BSD-3-Clausev0.1.0.1
@hackage/computational-algebra
Well-kinded computational algebra library, currently supporting Groebner basis.
BSD-3-Clausev0.5.1.0
@hackage/constrained-category
Constrained Categories
BSD-3-Clausev0.1.0.0
@hackage/constrained-monads
Typeclasses and instances for monads with constraints.
MITv0.5.0.0

Next