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

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

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

✅❎ A lightweight image rotation verification plugin.

Concuerror is a stateless model checking tool for Erlang programs.

❤️ Simple UI for pincode verification

SeaHorn Verification Framework

✉️ ✅ 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

Python bindings for MuPDF's rendering library.

Render swig templates with webpack.

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

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

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

Definition of the Viper intermediate verification language.

SWIG interface files for OpenCV types.

C++ binding generator for CPython 3.x (x>=2), Lua 5.3 and Go

Enables your consumer driven contracts workflow

Safety Verification of Deep Neural Networks

The Language for Smart Legal Contracts

TLA+ language support for Visual Studio Code

Cosette is an automated SQL solver.

A Modeling and Verification Platform for SoCs using ILAs

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

Steam integration for TeamSpeak 3

🔒Unified API for password hashing algorithms

Kani Rust Verifier

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

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

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

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

Standard Subresource Integrity library for Node.js

Ruby interface to IEEE 1364-2005 Verilog VPI

VUnit is a unit testing framework for VHDL/SystemVerilog

Provides email verification on the go.

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

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

User space software for Intel(R) Resource Director Technology

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

Verifying concurrent crash-safe systems

An advanced automatic speedrun load time remover for community verifiers.

Fast and efficient ed25519 signing and verification in Rust.

Java integration for Hex-Rays IDA Pro

Yet Another Earley Parser

Simple neural network

Bug-free machine learning on stochastic computation graphs

An NPM package to generate captcha images that can be used in Discord bots or various other projects

PKCS#11 Wrapper for Python

Home of the Move programming language

pySMT: A library for SMT formulae manipulation and solving

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

Bindings of the r2 api for Valabind and friends

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

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.

Multi-lingual medical image registration library