@hackage sbv dependents

14 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.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
@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.12.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.2