Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage singletons dependents

136 results

@hackage/ADPfusion
Efficient, high-level dynamic programming.
BSD-3-Clausev0.6.0.0
@hackage/Get
get stuff out of stuff
BSD-3-Clausev0.2018.1.10
@hackage/H
The Haskell/R mixed programming environment.
BSD-3-Clausev1.0.0
@hackage/HappyTree
Type Safe and End to End Decision Tree
BSD-3-Clausev0.2018.1.8
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/axel
The Axel programming language.
BSD-3-Clausev0.0.12
@hackage/backprop
Heterogeneous automatic differentation
BSD-3-Clausev0.2.6.5
@hackage/bytepatch
Patch byte-representable data in a bytestream
MITv0.4.1
@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/clang-pure
Pure C++ code analysis with libclang
Apache-2.0v0.2.0.6
@hackage/clash-prelude
Clash: a functional hardware description language - Prelude library
BSD-2-Clausev1.8.2
@hackage/cleveland
Testing framework for Morley.
MITv0.4.0
@hackage/computational-algebra
Well-kinded computational algebra library, currently supporting Groebner basis.
BSD-3-Clausev0.5.1.0
@hackage/d-bus
Permissively licensed D-Bus client library
BSD-3-Clausev0.1.8
@hackage/dag
Compile-time, type-safe directed acyclic graphs.
BSD-3-Clausev0.1.0.2
@hackage/decidable
Combinators for manipulating dependently-typed predicates.
BSD-3-Clausev0.3.1.1
@cardano/ekg-forward
See README for more info
Apache-2.0v0.8
@hackage/eliminators
Dependently typed elimination functions using singletons
BSD-3-Clausev0.9.6
@hackage/equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
BSD-3-Clausev0.7.1.0
@hackage/equational-reasoning-induction
Proof assistant for Haskell using DataKinds & PolyKinds
BSD-3-Clausev0.6.0.0
@hackage/exinst
Dependent pairs and their instances.
BSD-3-Clausev0.9
@hackage/exinst-aeson
@exinst@ support for @aeson@ package.
BSD-3-Clausev0.9
@hackage/exinst-base
@exinst@ support for @base@ package.
BSD-3-Clausev0.9
@hackage/exinst-bytes
@exinst@ support for @bytes@ package.
BSD-3-Clausev0.9
@hackage/exinst-cereal
@exinst@ support for @cereal@ package.
BSD-3-Clausev0.9
@hackage/exinst-hashable
Derive instances for the `hashable` library for your existential types.
BSD-3-Clausev0.2
@hackage/exinst-serialise
Dependent pairs and their instances.
BSD-3-Clausev0.9
@hackage/expressions
Expressions and Formulae a la carte
BSD-3-Clausev0.5
@hackage/expressions-z3
Encode and Decode expressions from Z3 ASTs
BSD-3-Clausev0.5
@hackage/finite-field
Finite Fields
BSD-3-Clausev0.10.0

Next