@hackage sbv dependents

11 results

@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/crackNum
Crack various integer and floating-point data formats
BSD-3-Clausev3.15
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.3.0
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.12.0.0
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.54.2
@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/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.12.1
@hackage/verifiable-expressions
An intermediate language for Hoare logic style verification.
Apache-2.0v0.6.2