441 Open source projects that are alternatives of or similar to DocumentReader-iOS

Verify the Apple id token on the server side.

A Java library for generating Time Sortable Identifiers (TSID).

PL/pgSQL implementation of hashids library

The Whiley Compiler (WyC)

Golang 分布式ID生成系统，高性能、高可用、易扩展的id生成服务

Validador javascript de la cédula de panama. A javascript validator of the Panamenian id (cedula)

Alive: Automatic LLVM's Instcombine Verifier

Document classification using Latent semantic analysis in python

ID type with marshalling to/from hash to prevent sending IDs to clients.

A Proof-oriented Programming Language

Collection of Verification Tasks

Code snippet to show how to verify Firebase ID tokens using Ruby

Web-based application to manage documents, images, videos and geodata.

Every grain of sand on Earth has its own ID.

⏮ ⏯ ⏭ A Rust library for easily navigating forward, backward or randomly through the lines of huge files.

The Flint Programming Language for Smart Contracts

Generate Sortable Identifiers

Samples for the Google SafetyNet Attestation API

A plugin to read '_config.yml' and data files within Jekyll theme gems

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 Java library for generating Universally Unique Lexicographically Sortable Identifiers (ULID)

Homepage Theorem Proving in Lean FAQ

The most inefficient Manga downloader for PC

Vue.js 2.x plugin that helps to use id-related attributes with no side-effect

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

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

flutter plugin to get device id

Maintenance Guidelines for GitHub/npm organization.

Super short, fully unique, non-sequential and URL-friendly Ids

YunoHost project organization

RIG - A Randomised ID Card Generator

Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.

高可用，高性能的分布式发号服务

Functional verification project for the CORE-V family of RISC-V cores.

Verification framework and tool for higher-order Scala programs

An auto-incrementing field generator for Mongoose 4 & 5

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

A feature-complete reader and client for LANraragi

Automatic verification of LLVM optimizations

Urbit Visor is an extension which transforms your web browser into a first class Urbit client.

Scilla - A Smart Contract Intermediate Level Language

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

return an md5sum of a given file

🍃A high performance distributed unique ID generation system

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

A customisable verification code view to capture OTPs

Software Quality Wiki

🇨🇳中国大陆身份证号解析/校验

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

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

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

高效的分布式id生成器，每个客户端实例tps可达到100万，服务端毫无压力。即使服务端宕机了，id生成依然可用。支持多数据中心，支持id加密。

TLA+ language support for Visual Studio Code

A small DOM library for server-side testing, rendering, and handling of HTML files

IDMask is a Java library for masking internal ids (e.g. from your DB) when they need to be published to hide their actual value and to prevent forging. It has support optional randomisation has a wide support for various Java types including long, UUID and BigInteger. This library bases its security on strong cryptographic primitives.

PHP Attributes Reader. Subtree split of the Spiral Attributes component (see spiral/framework)

Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.

A peer-to-peer decentralized database

Short id generator

基于netty4+twitter-snowFlake分布式Id生成之服务实现