@hackage sbv dependents

17 results

@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/copilot-sbv
A compiler for CoPilot targeting SBV.
BSD-3-Clausev2.2.1
@hackage/crackNum
Crack various integer and floating-point data formats
BSD-3-Clausev3.16
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.5.0
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.13.0.1
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.57.0
@hackage/keiki
Pure core for symbolic-register transducer event sourcing.
BSD-3-Clausev0.4.0.0
@hackage/linearEqSolver
Use SMT solvers to solve linear systems over integers and rationals
BSD-3-Clausev2.4
@cardano/marlowe-cardano
Marlowe: financial contracts on Cardano Computation Layer
Apache-2.0v0.2.1.0
@cardano/marlowe-test
Tests for Marlowe semantics and validators on Cardano
Apache-2.0v0.2.1.0
@hackage/quick-process
Run external processes verified at compilation/installation
BSD-3-Clausev0.0.3
@hackage/regex-genex
From a regex, generate all possible strings it can match
LicenseRef-OtherLicensev0.7.0
@hackage/sbv-program
Component-based program synthesis using SBV
BSD-3-Clausev1.1.0.0
@hackage/sbvPlugin
Formally prove properties of Haskell programs using SBV/SMT
BSD-3-Clausev9.14.1
@hackage/scheduling
An interview scheduler using constraint satisfaction and Google Sheets
BSD-3-Clausev0.1.0.0
@hackage/verifiable-expressions
An intermediate language for Hoare logic style verification.
Apache-2.0v0.6.3