Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage th-desugar dependents

17 results

@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/autoapply
Template Haskell to automatically pass values to functions
BSD-3-Clausev0.4.1.3
@hackage/eliminators
Dependently typed elimination functions using singletons
BSD-3-Clausev0.9.5
@hackage/equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
BSD-3-Clausev0.7.0.3
@hackage/haskelm
Elm to Haskell translation
BSD-3-Clausev0.1.12.0
@hackage/lol
A library for lattice cryptography.
GPL-3.0-onlyv0.7.0.0
@hackage/lol-cpp
A fast C++ backend for <https://hackage.haskell.org/package/lol lol>.
GPL-3.0-onlyv0.2.0.0
@hackage/lol-repa
A repa backend for <https://hackage.haskell.org/package/lol lol>.
GPL-2.0-onlyv0.0.0.2
@hackage/optparse-generic
Auto-generate a command-line parser for your datatype
BSD-3-Clausev1.5.2
@hackage/plugins-multistage
Dynamic linking for embedded DSLs with staged compilation
BSD-3-Clausev0.6.3
@hackage/singletons
Basic singleton types and definitions
BSD-3-Clausev3.0.3
@hackage/singletons-base
A promoted and singled version of the base library
BSD-3-Clausev3.4
@hackage/singletons-th
A framework for generating singleton types
BSD-3-Clausev3.4
@hackage/th-alpha
Alpha equivalence for TH Exp
BSD-3-Clausev0.2.1.0
@hackage/th-context
Test instance context
BSD-3-Clausev0.24
@hackage/th-typegraph
Graph of the subtype relation
BSD-3-Clausev1.4
@hackage/units
A domain-specific type system for dimensional analysis
BSD-3-Clausev2.4.1.5