@hackage / tree-view

Render trees as foldable HTML and Unicode art

0.5.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / brush-strokes Toolkit for Bézier curves and brush stroking
- Version: 0.1.0.0
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / compdata Compositional Data Types
- Version: 0.13.1
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / compdata-fixplate Compdata basics implemented on top of Fixplate
- Version: 0.1.3
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / dino A convenient tagless EDSL
- Version: 0.1.3
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / hevm Symbolic EVM Evaluator
- Version: 0.57.0
- Last uploaded: 5 months ago
- License: AGPL-3.0-only
@hackage / indigo Convenient imperative eDSL over Lorentz.
- Version: 0.6.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / predicate-typed Predicates, Refinement types and Dsl
- Version: 0.7.4.5
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / sbv SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Version: 14.3
- Last uploaded: 1 week ago
- License: BSD-3-Clause
@hackage / syntactic Generic representation and manipulation of abstract syntax
- Version: 3.8.5
- Last uploaded: 3 months ago
- License: BSD-3-Clause