Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage tree-view dependents

7 results

@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.53.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/syntactic
Generic representation and manipulation of abstract syntax
BSD-3-Clausev3.8.4