@hackage multiset dependents

7 results

@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/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.54.2
@hackage/opaleye
An SQL-generating DSL targeting PostgreSQL
BSD-3-Clausev0.10.5.0
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v0.26.0.1
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.45.0.0
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.9.0