@hackage sbv dependents

12 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.12
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.1.0
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.5.0.1
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.53.0
@hackage/linearEqSolver
Use SMT solvers to solve linear systems over integers and rationals
BSD-3-Clausev2.3
@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.8.2
@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.2