184 Open source projects that are alternatives of or similar to Minasmsverification

✅❎ A lightweight image rotation verification plugin.

Steam integration for TeamSpeak 3

VUnit is a unit testing framework for VHDL/SystemVerilog

Kani Rust Verifier

💃 一款轻巧的渐进式微信小程序框架

Android view for providing blocks (Edit Texts) to achieve verification process.

mocking library for Kotlin

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

Liquid Types For Haskell

Ruby interface to IEEE 1364-2005 Verilog VPI

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Provides email verification on the go.

🍱 Mina single-file-component meets Webpack

Fully customizable UI Component for verification codes written in swift with RxSwift support!

pySMT: A library for SMT formulae manipulation and solving

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Distributed Java game server, including cluster management server, gateway server, hall server, game logic server, background monitoring server and a running web version of fishing. State machine, behavior tree, A* pathfinding, navigation mesh and other AI tools

An advanced automatic speedrun load time remover for community verifiers.

Simple Theorem Prover, an efficient SMT solver for bitvectors

Neural Network Verification Software Tool

Verifying concurrent crash-safe systems

Development of the CafeOBJ interpreter

SMACK Software Verifier and Verification Toolchain

Verify code input. You can create a verify code input.

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

Home of the Move programming language

ONE·一个|图文 微信小程序/开源代码

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

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

Fully verified model checker for realtime systems

KreMLin is a tool for extracting low-level F* programs to readable C code

Verified, concurrent, crash-safe transaction system

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

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Concuerror is a stateless model checking tool for Erlang programs.

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

[DEPRECATED] Truebit Verification for Scrypt

Main repository of the Vigor NF verification project.

Links to tools by subject

Cross-platform, generic language, Pact provider verification tool

jforgame是一个一站式游戏服务器开发框架。包含游戏服，跨服，匹配服，后台管理系统等模块。同时提供大量业务案例以供学习。

Compilation and Verification of Data-Centric Languages

Package verifier provides simple defensive programing primitives.

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

A framework for running WeChat applet. （小程序 SDK，小程序转 H5，小程序转安卓、iOS 原生应用、小程序渲染引擎）

The best possible way to verify and validate an email address.

Awesome ASIC design verification

In-EVM Mina State Verification

Enables your consumer driven contracts workflow

Using Nim to interface with SystemVerilog test benches via DPI-C

This package provides convenient methods to integrate the NeverBounce API into your project.

Customisable OTP view and Passcode view

Unicorn tasks for Mina

Definition of the Viper intermediate verification language.

📺 A Tina.js powered Wechat-Mini-Program implementation of Hacker News Reader

Temporal Logic Planning toolbox

Standard Subresource Integrity library for Node.js

a gesture recognition verification lock

An advanced SAT solver

Safety Verification of Deep Neural Networks