Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage singletons dependents

139 results

@hackage/kind-rational
Type-level rationals. Like KnownNat, but for rationals.
BSD-3-Clausev0.5.0
@hackage/lens-typelevel
Type-level lenses using singletons
BSD-3-Clausev0.1.1.0
@hackage/linearmap-category
Native, complete-ish, matrix-free linear algebra.
GPL-3.0-onlyv0.6.0.2
@hackage/list-witnesses
Witnesses for working with type-level lists
BSD-3-Clausev0.1.4.1
@hackage/lol
A library for lattice cryptography.
GPL-3.0-onlyv0.7.0.0
@hackage/lol-apps
Lattice-based cryptographic applications using <https://hackage.haskell.org/package/lol lol>.
GPL-3.0-onlyv0.3.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/lorentz
EDSL for the Michelson Language
MITv0.16.0
@hackage/manifolds
Coordinate-free hypersurfaces
GPL-3.0-onlyv0.6.1.0
@hackage/mathflow
Dependently typed tensorflow modeler
BSD-3-Clausev0.1.0.0
@hackage/matrix-sized
Haskell matrix library with interface to C++ linear algebra libraries.
BSD-3-Clausev0.1.1
@hackage/mediabus
Multimedia streaming on top of Conduit
BSD-3-Clausev0.4.0.1
@hackage/mediabus-rtp
Receive and Send RTP Packets
BSD-3-Clausev0.4.0.1
@hackage/melf
An Elf parser
BSD-3-Clausev1.3.1
@hackage/morley
Developer tools for the Michelson Language
MITv1.20.0
@hackage/morley-client
Client to interact with the Tezos blockchain
MITv0.4.0
@hackage/morley-upgradeable
Upgradeability infrastructure based on Morley.
MITv0.3
@hackage/mqtt-hs
A MQTT client library.
GPL-3.0-onlyv1.0.2
@hackage/n-tuple
Homogeneous tuples of arbitrary length.
BSD-3-Clausev0.0.3
@hackage/named-sop
Dependently-typed sums and products, tagged by field name
MITv0.3.0.0
@hackage/numhask
A numeric class hierarchy.
BSD-3-Clausev0.12.1.0
@hackage/numhask-array
Multi-dimensional arrays.
BSD-3-Clausev0.11.1.0
@hackage/ocaml-export
Convert Haskell types in OCaml types
BSD-3-Clausev0.13.0
@hackage/optparse-generic
Auto-generate a command-line parser for your datatype
BSD-3-Clausev1.5.2
@hackage/otp-authenticator
OTP Authenticator (a la google) command line client
BSD-3-Clausev0.1.2.1
@cardano/ouroboros-consensus-cardano
The instantation of the Ouroboros consensus layer used by Cardano
Apache-2.0v0.23.0.0
@cardano/ouroboros-network-protocols
Ouroboros Network Protocols
Apache-2.0v0.14.0.0
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.44.0.0
@hackage/pringletons
Classes and data structures complementing the singletons library
BSD-3-Clausev0.4

Previous
Next