Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage groups dependents

29 results

@hackage/Flint2
Haskell bindings for the flint library for number theory
GPL-2.0-onlyv0.1.0.5
@hackage/acts
Semigroup actions and torsors.
BSD-3-Clausev0.3.1.1
@hackage/algebra-checkers
Model and test API surfaces algebraically
BSD-3-Clausev0.1.0.1
@cardano/cardano-api
The cardano API
Apache-2.0v8.45.2.0
@cardano/cardano-ledger-core
Core components of Cardano ledgers from the Shelley release on.
Apache-2.0v1.11.0.0
@cardano/cardano-ledger-mary
Cardano ledger with multiasset support.
Apache-2.0v1.5.1.0
@cardano/cardano-ledger-shelley
Shelley Ledger Executable Model
Apache-2.0v1.10.0.0
@cardano/cardano-ledger-shelley-ma
Deprecated package that used to implement Allegra and Mary eras.
Apache-2.0v1.1.0.1
@cardano/cardano-ledger-shelley-ma-test
Shelley ledger with multiasset and time lock support.
Apache-2.0v1.2.2.0
@cardano/cardano-ledger-shelley-test
Test helpers from cardano-ledger-shelley exposed to other packages
Apache-2.0v1.4.0.0
@cardano/cardano-ledger-test
Testing harness, tests and benchmarks for Shelley style cardano ledgers
Apache-2.0v1.1.0.0
@hackage/coya
Coya monoids
BSD-3-Clausev0.1.0.1
@cardano/diff-containers
Diffs for containers
Apache-2.0v1.1.10
@hackage/elliptic-curve
Elliptic curve library
MITv0.3.0
@hackage/exact-real
Exact real arithmetic
MITv0.12.5.1
@cardano/fingertree-rm
Finger-trees with root measures
Apache-2.0v1.0.0.2
@hackage/free-algebras
Free algebras
MPL-2.0v0.1.1.0
@hackage/galois-field
Galois field library
MITv1.0.2
@hackage/group-theory
The theory of groups
BSD-3-Clausev0.2.2
@hackage/groups-generic
Generically derive Group instances.
BSD-3-Clausev0.3.1.0
@hackage/interval-patterns
Intervals, and monoids thereof
BSD-3-Clausev0.8.0
@hackage/keelung
DSL for creating zero-knowledge proofs
Apache-2.0v0.9.2
@hackage/monoid-extras
Various extra monoid-related definitions and utilities
BSD-3-Clausev0.6.2
@hackage/monoidmap
Monoidal map type
Apache-2.0v0.0.1.3
@hackage/naqsha
A library for working with anything map related.
(Apache-2.0 OR BSD-3-Clause)v0.3.0.1
@hackage/pairing
Bilinear pairings
MITv1.1.0
@hackage/quickcheck-groups
Testing group class instances with QuickCheck
Apache-2.0v0.0.1.2
@hackage/rebase
A more progressive alternative to the "base" package
MITv1.20.2
@cardano/simple-semigroupoids
Groupoid-like structures and testing utilities
Apache-2.0v0.1.0.0