157 Open source projects that are alternatives of or similar to Siepic_ebeam_pdk

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

Concuerror is a stateless model checking tool for Erlang programs.

Liquid Types For Haskell

Fast and efficient ed25519 signing and verification in Rust.

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

[DEPRECATED] Truebit Verification for Scrypt

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

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

The VerCors verification toolset for verifying parallel and concurrent software

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

VUnit is a unit testing framework for VHDL/SystemVerilog

Safety Verification of Deep Neural Networks

Verifying concurrent crash-safe systems

Bug-free machine learning on stochastic computation graphs

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

"SAT/SMT by example" free ebook

a gesture recognition verification lock

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

The Language for Smart Legal Contracts

SeaHorn Verification Framework

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

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

Temporal Logic Planning toolbox

Static verification tool for DNS zone files

Open Source License Key Generation and Verification Tool written in Go

🔒Unified API for password hashing algorithms

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Methods to compute sets of states reachable by dynamical systems

mocking library for Kotlin

Reference mobile app for BrightID

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

Automatic SMS Verification with the SMS Retriever API

pySMT: A library for SMT formulae manipulation and solving

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

Simple Theorem Prover, an efficient SMT solver for bitvectors

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

SMACK Software Verifier and Verification Toolchain

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

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

✅❎ A lightweight image rotation verification plugin.

RISC-V CPU Core (RV32IM)

ECMAScript verification with SMT solvers

Links to tools by subject

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

Package verifier provides simple defensive programing primitives.

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

Awesome ASIC design verification

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

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

带下划线的验证码输入框

Definition of the Viper intermediate verification language.

Enables your consumer driven contracts workflow

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

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

Cosette is an automated SQL solver.

A fast SAT solver

❤️ Simple UI for pincode verification

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

Standard Subresource Integrity library for Node.js

An advanced SAT solver