Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage bimap dependents

57 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
@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.4
@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
@hackage/groundhog-converters
Extended Converter Library for groundhog embedded types
BSD-3-Clausev0.1.0
@hackage/haskell-compression
compress files
GPL-3.0-onlyv0.3
@hackage/inferno-core
A statically-typed functional scripting language
MITv0.1.0.0
@hackage/j2hs
j2hs
MITv0.99.1
@hackage/java-bridge
Bindings to the JNI and a high level interface generator.
MITv0.20130606.3
@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

Next