Search on Flora About Categories Packages

Flora :: [Package]

Search a package

Search on Flora About Categories Packages Login

@hackage bimap dependents

69 results

@hackage/DeepDarkFantasy
A DSL for creating neural network.
LicenseRef-Apachev0.2017.8.19
@hackage/GGg
GGg cipher
MITv0.1.0.2
@hackage/Munkres-simple
Simple and typesafe layer over the Munkres package.
BSD-3-Clausev0.1.0.1
@hackage/VKHS
Provides access to Vkontakte social network via public API
BSD-3-Clausev1.9.2
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/alpha
A compiler for the Alpha language
BSD-3-Clausev1.0.15
@hackage/arguedit
A computer assisted argumentation transcription and editing software.
GPL-2.0-onlyv0.1.0.1
@hackage/atom
An EDSL for embedded hard realtime applications.
BSD-3-Clausev1.0.13
@hackage/bff
Bidirectionalization for Free! (POPL'09)
LicenseRef-PublicDomainv0.3.1.2
@hackage/bimap-server
Two-column database server.
BSD-3-Clausev0.1.0.1
@hackage/borel
Metering System for OpenStack metrics provided by Vaultaire.
BSD-3-Clausev0.18.0
@hackage/brick
A declarative terminal user interface library
BSD-3-Clausev2.9
@cardano/byron-spec-chain
Executable specification of the Cardano blockchain
Apache-2.0v1.0.1.1
@cardano/byron-spec-ledger
Executable specification of Cardano ledger
Apache-2.0v1.1.0.1
@cardano/cardano-ledger-byron
The blockchain layer of Cardano during the Byron era
Apache-2.0v1.2.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.4
@hackage/ceilometer-common
Common Haskell types and encoding for OpenStack Ceilometer
BSD-3-Clausev0.2.3
@hackage/cleveland
Testing framework for Morley.
MITv0.4.0
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev4.5.1
@hackage/covenant
Standalone IR for Cardano scripts.
Apache-2.0v1.1.0
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
BSD-3-Clausev0.7.2
@hackage/ethereum-analyzer
A Ethereum contract analyzer.
Apache-2.0v3.3.4
@hackage/ethereum-analyzer-cli
A CLI frontend for ethereum-analyzer.
Apache-2.0v3.3.4
@hackage/ethereum-analyzer-webui
A web frontend for ethereum-analyzer
Apache-2.0v3.3.4
@hackage/exp-pairs
Linear programming over exponent pairs
GPL-3.0-onlyv0.2.1.1
@hackage/funsat
A modern DPLL-style SAT solver
BSD-3-Clausev0.6.2
@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/groundhog-converters
Extended Converter Library for groundhog embedded types
BSD-3-Clausev0.1.0

Next