Apps tagged with 'verification'

GrapheneOS is a privacy and security focused mobile OS with Android app compatibility developed as a non-profit open source project. It's focused on the research and development of privacy and security technology including substantial improvements to sandboxing, exploit...

FastCopy is the fastest copy, delete, & sync software on Windows. It uses modern checksum verification to ensure copy accuracy and data integrity. It handles long Unicode path names over MAX_PATH (260 bytes), and automatically optimizes copy mode operations between the same...

Though console applications are open source (PAR clients are GPL), GUI application is closed source. Console applications and some UI resource are open source.

ViceVersa does File Synchronization, File Replication, File Backup and File Comparison. It can automatically verify data using a CRC32 checksum.

Verify apps easily.

fio is an I/O tool meant for both for benchmark and stress/hardware verification. It has support for many different types of I/O engines, I/O priorities (on newer Linux kernels), rate limited I/O, forked or threaded jobs and much more.

Crazy & Smart File Copy Program for Windows that lets you have more control when copying files in Windows. Also automate complex tasks & save hours.

We use technologies to systematize and analyze data from open sources to provide you with an easy-to-understand, reliable report on a targeted person. This report will contain overall data about contact info, nicknames, locations, images of a person, presence on social media...

immudb is a database with built-in cryptographic proof and verification. It tracks changes in sensitive data and the integrity of the history will be protected by the clients, without the need to trust the database.

GUI frontend for fsum – a hash calculator supporting a ton of algorithms.

Fsum Frontend is a free and easy-to-use tool that allows to compute message digests, checksums and HMACs for files and text strings. It supports drag-and-drop and you can handle multiple files at once. Th.

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. QuickSFV also understands several other file verification formats including CRC, CSV, and CKZ.

QuickPar creates parity volumes which can be used as verification and recovery information for a file or group of files. If such information is available and some files are damaged or missing, QuickPar may be able to reconstruct the originals from the damaged files and the PAR...

The core product for PDF quality control (preflight), auto-correction and manual editing. This runs as a plug-in to Adobe Acrobat.

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.

checkSum+ will handle md5, sfv & cvs files (please, do not confuse with cvs files, since these can be any kind of database file).

A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.

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, Linux, AIX, OS/X and HP/UX.

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. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs...

Visibility into the state of your IT infrastructure, enabling you to understand your risk potential, prevent breaches, and speed up software delivery.

Unique application allowing work with digital certificates from Certification Authorities on mobile devices (Android and Apple smartphones or tablets).

Squish is the leading cross-platform/cross-technology GUI test automation tool for functional GUI regression tests. Start your fully functional FREE trial now!.

Gamalogic provides Email Address validation API for free with higher accuracy. Our API remove invalid email addresses from your list using most sophisticated technologies to prevent email bounces and improve quality of lead delivery metrics.

Supplied offers automated, self-service, end to end onboarding, verification and reporting services globally

Vespia is an all-in-one AML solution for verifying and onboarding business customers and partners in under 30 seconds. The company helps AML-obligated businesses understand whom they are dealing with using the power of AI.

Test plan and test case management software. Improve quality assurance and track your project