@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/cryptol
Cryptol: The Language of Cryptography
@hackage/demangler
Demangler for C++ mangled names.
@hackage/what4
Solver-agnostic symbolic values support for issuing queries