@hackage bimap dependents

29 results

@hackage/brick
A declarative terminal user interface library
BSD-3-Clausev2.8.3
@cardano/byron-spec-chain
Executable specification of the Cardano blockchain
Apache-2.0v1.0.1.0
@cardano/byron-spec-ledger
Executable specification of Cardano ledger
Apache-2.0v1.1.0.0
@cardano/cardano-ledger-byron
The blockchain layer of Cardano during the Byron era
Apache-2.0v1.1.0.0
@cardano/cardano-ledger-byron-test
Test helpers from cardano-ledger exposed to other packages
Apache-2.0v1.5.2.1
@cardano/cardano-tracer
A service for logging and monitoring over Cardano nodes
Apache-2.0v0.3.2
@hackage/cleveland
Testing framework for Morley.
MITv0.4.0
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev4.4
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
BSD-3-Clausev0.7.2
@hackage/exp-pairs
Linear programming over exponent pairs
GPL-3.0-onlyv0.2.1.1
@hackage/g2
Haskell symbolic execution engine.
BSD-3-Clausev0.2.0.0
@cardano/goblins
Genetic algorithm based randomised testing
BSD-3-Clausev0.2.0.1
@hackage/inferno-core
A statically-typed functional scripting language
MITv0.1.0.0
@hackage/lorentz
EDSL for the Michelson Language
MITv0.16.0
@hackage/matterhorn
Terminal client for the Mattermost chat system
BSD-3-Clausev90000.1.0
@hackage/morley
Developer tools for the Michelson Language
MITv1.20.0
@hackage/morley-client
Client to interact with the Tezos blockchain
MITv0.4.0
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v0.26.0.1
@cardano/ouroboros-consensus-byronspec
ByronSpec ledger integration in the Ouroboros consensus layer
Apache-2.0v0.3.0.0
@cardano/ouroboros-consensus-cardano
The instantation of the Ouroboros consensus layer used by Cardano
Apache-2.0v0.25.0.1
@cardano/ouroboros-consensus-mock
Mock ledger integration in the Ouroboros consensus layer
Apache-2.0v0.3.0.0
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.45.0.0
@hackage/prettyprinter-combinators
Some useful combinators for the prettyprinter package
Apache-2.0v0.1.3
@hackage/reflex-dom-core
Functional Reactive Web Apps with Reflex
BSD-3-Clausev0.8.1.3
@hackage/reflex-vty
Reflex FRP host and widgets for VTY applications
BSD-3-Clausev0.6.1.0
@hackage/resource-registry
Track allocated resources
Apache-2.0v0.1.0.0
@hackage/tinytools
tinytools is a monospace unicode diagram editor
BSD-3-Clausev0.1.0.7
@hackage/tinytools-vty
tinytools-vty is a terminal based monospace unicode diagram editing tool
BSD-3-Clausev0.1.0.7
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
BSD-3-Clausev1.7