@hackage multiset dependents

12 results

@hackage/algebra-driven-design
Companion library for the book Algebra-Driven Design by Sandy Maguire
BSD-3-Clausev0.1.1.1
@hackage/boltzmann-brain
Analytic sampler compiler for combinatorial systems.
BSD-3-Clausev1.6
@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/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.53.0
@hackage/opaleye
An SQL-generating DSL targeting PostgreSQL
BSD-3-Clausev0.10.3.0
@hackage/planet-mitchell
Planet Mitchell
BSD-3-Clausev0.1.0
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.27.0.0
@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