159 Open source projects that are alternatives of or similar to lms-verify

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

Cogent Project

The Flint Programming Language for Smart Contracts

Homepage Theorem Proving in Lean FAQ

带下划线的验证码输入框

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Continuous Integration, Verification, Enhancement, and Testing

ECMAScript verification with SMT solvers

Samples for the Google SafetyNet Attestation API

A Proof-oriented Programming Language

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

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

Collection of Verification Tasks

A tool for verifying links in text-based files

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

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

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

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

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

Alive: Automatic LLVM's Instcombine Verifier

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

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

Reference mobile app for BrightID

The Whiley Compiler (WyC)

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

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

Verify the Apple id token on the server side.

Software Quality Wiki

Fully proved small C functions (examples for verification course).

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

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

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

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

TLA+ language support for Visual Studio Code

A customisable verification code view to capture OTPs

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

Read-only mirror of the Klever Git repository

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

Verification framework and tool for higher-order Scala programs

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

Fact Extraction and VERification baseline published in NAACL2018

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

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

A fast SAT solver

No description or website provided.

❤️ Simple UI for pincode verification

Automatic verification of LLVM optimizations

The Language for Smart Legal Contracts

This repo contains the artifact for our SOSP'19 paper on Serval

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

Scilla - A Smart Contract Intermediate Level Language

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

Active Directory strategy for passport.js

return an md5sum of a given file

Docker container for creating valid local ssl certificates

Firebase Spring Boot Rest API Authentication

Hagelslag is an object-based severe storm hazard forecasting system.

iOS Framework for reading and validation of identification documents

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.