Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage bv-sized dependents

11 results

@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/bv-sized-lens
Well-typed lenses for bv-sized bitvectors.
BSD-3-Clausev0.1.0.0
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev3.19.1
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
BSD-3-Clausev3.19
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
BSD-3-Clausev0.7
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
BSD-3-Clausev0.6
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
BSD-3-Clausev0.1
@hackage/crux
Simple top-level library for Crucible Simulation
BSD-3-Clausev0.7
@hackage/crux-llvm
A verification tool for C programs.
BSD-3-Clausev0.8
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.1.0
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
BSD-3-Clausev1.6