@hackage bimap dependents

33 results

@hackage/atom
An EDSL for embedded hard realtime applications.
BSD-3-Clausev1.0.13
@hackage/brick
A declarative terminal user interface library
BSD-3-Clausev2.3.1
@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.0.1.0
@cardano/cardano-ledger-byron
The blockchain layer of Cardano during the Byron era
Apache-2.0v1.0.1.0
@cardano/cardano-ledger-byron-test
Test helpers from cardano-ledger exposed to other packages
Apache-2.0v1.5.1.0
@cardano/cardano-tracer
A service for logging and monitoring over Cardano nodes
Apache-2.0v0.2.3
@hackage/cleveland
Testing framework for Morley.
MITv0.4.0
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev3.19.1
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
BSD-3-Clausev0.7
@hackage/exp-pairs
Linear programming over exponent pairs
GPL-3.0-onlyv0.2.1.0
@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/jenkinsPlugins2nix
Generate nix for Jenkins plugins.
BSD-3-Clausev0.5.0.0
@hackage/json-to-haskell
BSD-3-Clausev0.1.1.2
@hackage/lorentz
EDSL for the Michelson Language
MITv0.16.0
@hackage/math-grads
Library containing graph data structures and graph algorithms
BSD-3-Clausev0.1.6.7
@hackage/matterhorn
Terminal client for the Mattermost chat system
BSD-3-Clausev90000.0.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.18.0.0
@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.16.0.0
@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.27.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.0
@hackage/reflex-vty
Reflex FRP host and widgets for VTY applications
BSD-3-Clausev0.5.2.0
@hackage/scheduling
An interview scheduler using constraint satisfaction and Google Sheets
BSD-3-Clausev0.1.0.0