|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
security
cli
formal-methods
integrity
static-analysis
checksum
cryptography
hashing
model-checking
utility
|
| Package |
Description |
Version |
|
alive2
☆
formula
|
Automatic verification of LLVM optimizations |
21.0 |
|
bao
☆
formula
|
Implementation of BLAKE3 verified streaming |
0.13.1 |
|
cbmc
☆
formula
|
C Bounded Model Checker |
6.8.0 |
|
cfv
☆
formula
|
Test and create various files (e.g., .sfv, .csv, .crc., .torrent) |
3.2.0 |
|
chkbit
☆
formula
|
Check your files for data corruption |
6.5.0 |
|
civl
☆
formula
|
Concurrency Intermediate Verification Language |
1.22-5854 |
|
cksfv
☆
formula
|
File verification utility |
1.3.15 |
|
cornelis
☆
formula
|
Neovim support for Agda |
2.8.0 |
|
cryptol
☆
formula
|
Domain-specific language for specifying cryptographic algorithms |
3.4.0 |
|
dafny
☆
formula
|
Verification-aware programming language |
4.11.0 |
|
dbhash
☆
formula
|
Computes the SHA1 hash of schema and content of a SQLite database |
3.51.2 |
|
f3
☆
formula
|
Test various flash cards |
9.0 |
|
idris2
☆
formula
|
Pure functional programming language with dependent types |
0.8.0 |
|
minisat
☆
formula
|
Minimalistic and high-performance SAT solver |
|
|
minisign
☆
formula
|
Sign files & verify signatures. Works with signify in OpenBSD |
|
|
mpck
☆
formula
|
Check MP3 files for errors |
|
|
ppl
☆
formula
|
Parma Polyhedra Library: numerical abstractions for analysis, verification |
1.2 |
|
quickhash
☆
cask
|
Data hashing tool |
3.3.4,2510,01,11,2023 |
|
ratify
☆
formula
|
Artifact Ratification Framework |
1.4.0 |
|
sby
☆
formula
|
Front-end for Yosys-based formal verification flows |
0.60 |
|
sequoia-sqv
☆
formula
|
Simple OpenPGP signature verification program |
|
|
signet
☆
cask
|
Scans and checks bundle signatures |
1.3,2020.09 |
|
signify-osx
☆
formula
|
Cryptographically sign and verify files |
|
|
slsa-verifier
☆
formula
|
Verify provenance from SLSA compliant builders |
2.7.1 |
|
stp
☆
formula
|
Simple Theorem Prover, an efficient SMT solver for bitvectors |
|
|
tla+-toolbox
☆
cask
|
IDE for TLA+ |
1.7.4 |
|
yices2
☆
formula
|
Yices SMT Solver |
|
|
z3
☆
formula
|
High-performance theorem prover |
4.15.4 |