Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage uniplate dependents

126 results

@hackage/paragon
Paragon
BSD-3-Clausev0.1.28
@hackage/pec
pec embedded compiler
BSD-3-Clausev0.2.3
@cardano/plutus-tx-plugin
The Plutus Tx compiler and GHC plugin
Apache-2.0v1.38.0.0
@hackage/prof2pretty
generate pretty source from time/allocation profiles
BSD-3-Clausev0.1.0.0
@hackage/qed
Simple prover
BSD-3-Clausev0.0
@hackage/record-dot-preprocessor
Preprocessor to allow record.field syntax
BSD-3-Clausev0.2.17
@hackage/references
Selectors for reading and updating data.
BSD-3-Clausev0.3.3.1
@hackage/reprinter
Scrap Your Reprinter
Apache-2.0v0.3.0.0
@hackage/rest-gen
Documentation and client generation from rest definition.
BSD-3-Clausev0.20.0.3
@hackage/safecopy-migrate
Making SafeCopy migrations easier
LicenseRef-PublicDomainv0.2.0
@hackage/sbv
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
BSD-3-Clausev11.0
@hackage/scion
Haskell IDE library
BSD-3-Clausev0.1.0.2
@hackage/scyther-proof
Automatic generation of Isabelle/HOL correctness proofs for security protocols.
LicenseRef-GPLv0.10.0.1
@hackage/shentong
A Haskell implementation of the Shen programming language
BSD-3-Clausev0.3.2
@hackage/simple-c-value
A simple C value type
BSD-3-Clausev0.0.0.1
@hackage/simpleprelude
A simplified Haskell prelude for teaching
BSD-3-Clausev1.0.1.3
@hackage/soyuz
DCPU-16 architecture utilities for Notch's 0x10c game.
MITv0.0.0
@hackage/specialize-th
Create specialized types from polymorphic ones using TH
BSD-3-Clausev0.0.0.8
@hackage/supero
A Supercompiler
BSD-3-Clausev3.0
@hackage/syntax-trees
Convert between different Haskell syntax trees.
BSD-3-Clausev0.1.2
@hackage/syntax-trees-fork-bairyn
Convert between different Haskell syntax trees. Bairyn's fork.
BSD-3-Clausev0.1.2.5
@hackage/tamarin-prover
The Tamarin prover for security protocol analysis.
LicenseRef-GPLv0.8.6.3
@hackage/tamarin-prover-theory
Term manipulation library for the tamarin prover.
LicenseRef-GPLv0.8.6.0
@hackage/templateify
Make template from website
GPL-3.0-onlyv0.1.0.1
@hackage/tempus
Interpreter for the FRP language Tempus
BSD-3-Clausev0.1.0
@hackage/type-sub-th
Substitute types for other types with Template Haskell
BSD-3-Clausev0.1.0.6
@hackage/universe-th
Construct a Dec's ancestor list.
BSD-3-Clausev0.0.0.6
@hackage/update-nix-fetchgit
A program to update fetchgit values in Nix expressions
BSD-3-Clausev0.2.11
@hackage/vampire
Analyze and visualize expression trees.
GPL-3.0-onlyv0.1.3.0
@hackage/visual-prof
Create a visual profile of a program's source code
BSD-3-Clausev0.5

Previous
Next