dano
Checksum verifier
A tool for verifying media checksums without re-encoding or re-writing metadata.
A hashdeep/md5tree (but much more) for media files
142 stars
3 watching
0 forks
Language: Rust
last commit: 7 months ago
Linked from 1 awesome list
rust-unofficial/awesome-rustRelated projects:
| Repository | Description | Stars |
|---|---|---|
 verifytests/verify.imagemagick | A tool for verifying digital documents by comparing images of converted versions. | 5 |
| verifytests/verify.docnet | A library that verifies documents by comparing images of scanned or exported documents with predefined templates. | 11 |
| verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 0xhackedlabs/zkprover | A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries. | 1 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |
 valida-xyz/valida | A virtual machine for efficient and modular verification of program executions using Stark-based verification methods. | 290 |
 vinum-security/kubernetes-security-checklist | Provides a comprehensive security checklist and requirements for Kubernetes clusters | 465 |
 mit-pdos/perennial | A system for verifying correctness of concurrent and crash-safe systems with recovery procedures | 163 |
 khronosgroup/vulkan-validationlayers | A set of tools to help developers verify correct use of the Vulkan API and detect potential errors in their applications. | 770 |
 formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 421 |
 reokatoa/koreksyon | Tools for developing and implementing spell-checking and grammar-checking capabilities in low-resource languages. | 3 |
 jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
 nomeata/motoko-certified-http | A tool for verifying the authenticity of HTTP assets using digital signatures and certificates. | 17 |
| verifytests/verify.syncfusion | A tool for verifying the integrity and contents of documents in various file formats using Syncfusion File Formats. | 3 |