Flora :: [Package]

About Categories Packages

Search a package

Search on Flora About Categories Packages Login

@hackage tree-view dependents

10 results

@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/brush-strokes
Toolkit for Bézier curves and brush stroking
BSD-3-Clausev0.1.0.0
@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.57.0
@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-Clausev13.5
@hackage/syntactic
Generic representation and manipulation of abstract syntax
BSD-3-Clausev3.8.5