199 Open source projects that are alternatives of or similar to Cpachecker

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

Use C Api and Swig to Speed up jieba 高效的中文分词库

Location for the LSF Python wrapper for controlling all things LSF

Liquid Types For Haskell

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

Temporal Logic Planning toolbox

Open Source License Key Generation and Verification Tool written in Go

带下划线的验证码输入框

Unofficial Python-wrapped version of Gordon Henderson's WiringPi version 2.

Example code for interfacing with C and C++ from Python using Cython, SWIG, CFFI, PyPy, and pybind11

Driving a flipdot matrix differently. All dots simultaneously.

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

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

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

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

Python package for 3D CAD/BIM/PLM/CAM

一款微信文章编辑器_前后端已搭建完整

An advanced SAT solver

A fast SAT solver

SimpleITK: a layer built on top of the Insight Toolkit (ITK), intended to simplify and facilitate ITK's use in rapid prototyping, education and interpreted languages.

Methods to compute sets of states reachable by dynamical systems

mocking library for Kotlin

Reference mobile app for BrightID

WebRTC media server for go

Automatic SMS Verification with the SMS Retriever API

a gesture recognition verification lock

Examples of calls between Go and C/C++ (and how to call a Go shared object from Node/Ruby/Python/Java)

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

✅❎ A lightweight image rotation verification plugin.

❤️ Simple UI for pincode verification

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

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

Python bindings for MuPDF's rendering library.

Generate a hexo theme: ejs, pug, swig, nunjucks | Moved to https://tcrowe.commons.host/contact

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

SWIG interface files for OpenCV types.

Enables your consumer driven contracts workflow

The Language for Smart Legal Contracts

Cosette is an automated SQL solver.

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

🔒Unified API for password hashing algorithms

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

Tool for connecting programs or libraries written in Rust with other languages

Standard Subresource Integrity library for Node.js

VUnit is a unit testing framework for VHDL/SystemVerilog

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

User space software for Intel(R) Resource Director Technology

Verifying concurrent crash-safe systems

Fast and efficient ed25519 signing and verification in Rust.

Yet Another Earley Parser

Bug-free machine learning on stochastic computation graphs

PKCS#11 Wrapper for Python

pySMT: A library for SMT formulae manipulation and solving

Bindings of the r2 api for Valabind and friends

[DEPRECATED] Truebit Verification for Scrypt

Cogent Project

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

ECMAScript verification with SMT solvers

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

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