dano
by kimono-koans
A hashdeep/md5tree (but much more) for media files
AI summary
Checksum verifier
A tool for verifying media checksums without re-encoding or re-writing metadata.
- stars
- 146
- forks
- 0
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Document Verifier
A tool for verifying digital documents by comparing images of converted versions.
Document verifier
A library that verifies documents by comparing images of scanned or exported documents with predefined templates.
Command processor verifier
Adds support for verifying a specific command processing framework
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
MongoDB Verifier
A tool for verifying MongoDB operations and recording their execution
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
Security framework
Provides a comprehensive security checklist and requirements for Kubernetes clusters
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
Vulkan verifier
A set of tools to help developers verify correct use of the Vulkan API and detect potential errors in their applications.
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
Language Checker
Tools for developing and implementing spell-checking and grammar-checking capabilities in low-resource languages.
Software Verifier
Automates Ada software verification with continuous testing and proofing
Asset Verifier
A tool for verifying the authenticity of HTTP assets using digital signatures and certificates.
Document Verifier
A tool for verifying the integrity and contents of documents in various file formats using Syncfusion File Formats.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions dano.
