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

Bug-free machine learning on stochastic computation graphs

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

Mirror of Apache MINA

Mirror of Apache MINA SSHD

The VerCors verification toolset for verifying parallel and concurrent software

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

"SAT/SMT by example" free ebook

Automatic SMS Verification with the SMS Retriever API

微信小程序 城市/区县定位选择模块 汉字/拼音搜索 可直接使用 另附 mpvue 版本 city picker / auto positioning / auto complete

java-study 是本人学习Java过程中记录的一些代码！从Java基础的数据类型、jdk1.8的Lambda、Stream和日期的使用、 IO流、数据集合、多线程使用、并发编程、23种设计模式示例代码、常用的工具类， 以及一些常用框架，netty、mina、springboot、kafka、storm、zookeeper、redis、elasticsearch、hbase、hive等等。

Blazing fast application deployment tool.

Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.

与 Lealone 集成的各类插件(例如网络框架以及不同的数据库协议和存储引擎)

Fast and efficient ed25519 signing and verification in Rust.

Methods to compute sets of states reachable by dynamical systems

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

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

A static verifier for Rust, based on the Viper verification infrastructure.

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

RISC-V CPU Core (RV32IM)

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

SeaHorn Verification Framework

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

File systems verification utility and library, in likeness of mtree(8)

Open Source License Key Generation and Verification Tool written in Go

🔒Unified API for password hashing algorithms

Definition of the Viper intermediate verification language.

✅❎ A lightweight image rotation verification plugin.

VUnit is a unit testing framework for VHDL/SystemVerilog

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

mocking library for Kotlin

Liquid Types For Haskell

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

🍱 Mina single-file-component meets Webpack

pySMT: A library for SMT formulae manipulation and solving

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

Simple Theorem Prover, an efficient SMT solver for bitvectors

Verifying concurrent crash-safe systems

SMACK Software Verifier and Verification Toolchain

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

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

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

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

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

Concuerror is a stateless model checking tool for Erlang programs.

[DEPRECATED] Truebit Verification for Scrypt

Links to tools by subject

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

Package verifier provides simple defensive programing primitives.

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

Awesome ASIC design verification

Enables your consumer driven contracts workflow

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

Unicorn tasks for Mina

Cosette is an automated SQL solver.

📺 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