188 Open source projects that are alternatives of or similar to Sbv

pySMT: A library for SMT formulae manipulation and solving

"SAT/SMT by example" free ebook

Automatic verification of LLVM optimizations

Simple Theorem Prover, an efficient SMT solver for bitvectors

Liquid Types For Haskell

SMACK Software Verifier and Verification Toolchain

A Proof-oriented Programming Language

Verification framework and tool for higher-order Scala programs

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

JavaSMT - Unified Java API for SMT solvers.

Open Source License Key Generation and Verification Tool written in Go

✅❎ A lightweight image rotation verification plugin.

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

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

mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

An advanced SAT solver

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

CAD files for various boards, components and parts

❤️ Simple UI for pincode verification

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

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

Fast and efficient ed25519 signing and verification in Rust.

Bug-free machine learning on stochastic computation graphs

Standard Subresource Integrity library for Node.js

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

Deep Blockchains - reference implementation of Plasma, Stark, SMT and more

Methods to compute sets of states reachable by dynamical systems

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

Update to Eustathios with a little bit of HercuLien Design Changes

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

Collection of Eagle projects for targets, interfaces, shields and more

Enables your consumer driven contracts workflow

ECMAScript verification with SMT solvers

Cosette is an automated SQL solver.

Temporal Logic Planning toolbox

🔒Unified API for password hashing algorithms

带下划线的验证码输入框

VUnit is a unit testing framework for VHDL/SystemVerilog

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

mocking library for Kotlin

Better parametric search for components available for JLC PCB assembly

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

SMT Solver for Nonlinear Theories of Reals

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

Verifying concurrent crash-safe systems

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

Reference mobile app for BrightID

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

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

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

Automatic SMS Verification with the SMS Retriever API

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

RISC-V CPU Core (RV32IM)

[DEPRECATED] Truebit Verification for Scrypt

Concuerror is a stateless model checking tool for Erlang programs.

Links to tools by subject

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

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

A fast SAT solver