197 Open source projects that are alternatives of or similar to Md5 File

Fingerprint is a simple tool that can be used to verify the contents of a directory.

☑️ ADLER-32 checksum

Standard Subresource Integrity library for Node.js

a gesture recognition verification lock

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

[Feature complete] SHA-3 and Keccak checksum utility

checksum-reproducible tar archives (utility/library)

TLA+ language support for Visual Studio Code

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

✉️ ✅ A Fast and Free Email Verification API written in Go

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

验证码输入框，验证码，code view，iOS验证码输入

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Temporal Logic Planning toolbox

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

Methods to compute sets of states reachable by dynamical systems

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

[DEPRECATED] Truebit Verification for Scrypt

Software Quality Wiki

Powerful checksum generator!

ECMAScript verification with SMT solvers

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

immudb - world’s fastest immutable database, built on a zero trust model

带下划线的验证码输入框

Enables your consumer driven contracts workflow

Cosette is an automated SQL solver.

HACL*, a formally verified cryptographic library written in F*

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End

Collection of Verification Tasks

Reversing CRC for fun and profit

Cogent Project

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

A cross-platform desktop utility for computing message digests or checksums

Java library to support the BagIt specification.

Hashing for Modern Object Pascal

Verifying concurrent crash-safe systems

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Automatic SMS Verification with the SMS Retriever API

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.

🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!

✅❎ A lightweight image rotation verification plugin.

A fast SAT solver

Liquid Types For Haskell

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。

❤️ Simple UI for pincode verification

Reliable PostgreSQL Backup & Restore

Homepage Theorem Proving in Lean FAQ

📝 File hashing and checking shell extension

The Language for Smart Legal Contracts

Open Source License Key Generation and Verification Tool written in Go

An advanced SAT solver

A List of Free and Open Source Hardware Verification Tools and Frameworks

Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.

A Proof-oriented Programming Language

✅ A Go library for email verification without sending any emails.

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.