Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage multiset dependents

26 results

@hackage/ContextAlgebra
Implementation of the context algebra.
BSD-3-Clausev1.0.0.0
@hackage/LogicGrowsOnTrees
a parallel implementation of logic programming using distributed tree exploration
BSD-3-Clausev1.1.0.2
@hackage/NearContextAlgebra
Context Algebra of near
BSD-3-Clausev0.1.0.2
@hackage/SourceGraph
Static code analysis using graph-theoretic techniques.
LicenseRef-GPLv0.7.0.7
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/algebra-driven-design
Companion library for the book Algebra-Driven Design by Sandy Maguire
BSD-3-Clausev0.1.1.1
@hackage/algebra-sql
Relational Algebra and SQL Code Generation
BSD-3-Clausev0.3.0.0
@hackage/boltzmann-brain
Analytic sampler compiler for combinatorial systems.
BSD-3-Clausev1.6
@hackage/borel
Metering System for OpenStack metrics provided by Vaultaire.
BSD-3-Clausev0.18.0
@hackage/buffon-machines
Perfect simulation of discrete random variables
BSD-3-Clausev1.1.1.1
@hackage/funcons-tools
A modular interpreter for executing funcons
MITv0.2.0.15
@hackage/funcons-values
Library providing values and operations on values in a fixed universe.
MITv0.1.0.9
@hackage/graph-generators
Functions for generating structured or random FGL graphs
Apache-2.0v0.1.4.0
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.54.2
@hackage/hieraclus
Automated clustering of arbitrary elements in Haskell.
BSD-3-Clausev0.1.2.1
@hackage/nationstates
NationStates API client
Apache-2.0v0.5.0.0
@hackage/netcore
The NetCore compiler and runtime system for OpenFlow networks.
BSD-3-Clausev1.0.0
@hackage/opaleye
An SQL-generating DSL targeting PostgreSQL
BSD-3-Clausev0.10.4.0
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v0.22.0.0
@hackage/planet-mitchell
Planet Mitchell
BSD-3-Clausev0.1.0
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.38.0.0
@hackage/processing
Web graphic applications with processing.js.
BSD-3-Clausev1.2.0.2
@hackage/scion
Haskell IDE library
BSD-3-Clausev0.1.0.2
@hackage/term-rewriting
Term Rewriting Library
MITv0.4.0.2
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.8.1
@hackage/zsyntax
Automated theorem prover for the Zsyntax biochemical calculus
BSD-3-Clausev0.2.0.0