FastCopy is the fastest copy, delete, & sync software on Windows. It uses modern checksum verification to ensure copy accuracy and data integrity.
Though console applications are open source (PAR clients are GPL), GUI application is closed source.
Console applications and some UI resource are open source.
Generate I/O for benchmarking, stress testing, verification or workload reproduction purposes.
QuickSFV integrates into the Windows Explorer shell and makes it very easy to verify files. Just double-click on the SFV file and QuickSFV does the rest.
Vdbench is a disk and tape I/O workload generator for verifying data integrity and measuring performance of direct attached and network connected storage on Windows, Solaris...
ViceVersa does File Synchronization, File Replication, File Backup and File Comparison. It can automatically verify data using a CRC32 checksum.
GUI frontend for fsum – a hash calculator supporting a ton of algorithms.
Emerald was built to help people meet each other. In the modern world it's so fast paced it's often really hard to meet new people.
F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F# for execution.
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer.
Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length.
The core product for PDF quality control (preflight), auto-correction and manual editing. This runs as a plug-in to Adobe Acrobat.
QuickPar creates parity volumes which can be used as verification and recovery information for a file or group of files.
Get a non-VOIP Disposable Temporary Phone Number For Phone Verification.
Verify your income, get recognized for your hard work & become more trustworthy online. CashBadge lets you showcase your best online courses and helps you attract new paying customers by verifying your identity and monthly business income.