Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage tree-view dependents

9 results

@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/compdata
Compositional Data Types
BSD-3-Clausev0.13.1
@hackage/compdata-fixplate
Compdata basics implemented on top of Fixplate
BSD-3-Clausev0.1.3
@hackage/dino
A convenient tagless EDSL
BSD-3-Clausev0.1.3
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.54.2
@hackage/indigo
Convenient imperative eDSL over Lorentz.
MITv0.6.0
@hackage/predicate-typed
Predicates, Refinement types and Dsl
BSD-3-Clausev0.7.4.5
@hackage/sbv
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
BSD-3-Clausev11.7
@hackage/syntactic
Generic representation and manipulation of abstract syntax
BSD-3-Clausev3.8.4