Search

Assure: verification for every pull request

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.

A self-hosted UPI & COD payment gateway with zero per-transaction platform fees, universal JavaScript checkout integration, dynamic QR payments, WhatsApp OTP authentication, and automated payment verification.

Disable signature verification For Android

Ragnar is a full-stack network verification, troubleshooting, and monitoring suite for wired and Wi-Fi, running on a handheld pocket computer — Raspberry Pi Zero 2W and up across OSI L1–L7, as individual unit or in a mesh.

A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification

Source code verification service for Ethereum smart contracts

Model-based design and verification for robotics.

Configurable captive page for WiFi hotspot services providing login, sign up, social login, SMS verification, change password, reset password, change phone number, payment flow and more.

pure-python ECDSA signature/verification and ECDH key agreement

Hamcrest for Objective-C: Powerful, combinable, extensible matchers for verification

The People's Verification System

Mockito for Objective-C: creation, verification and stubbing of mock objects

SMACK Software Verifier and Verification Toolchain

Patch-level verification for Bundler

ApprovalTest verification library for Java

cocotb: Python-based chip (RTL) verification

Application Security Verification Standard

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

SeaHorn Verification Framework

A stream-based runtime-verification framework for generating hard real-time C code.

UVVM (Universal VHDL Verification Methodology) is a free and Open Source Methodology and Library for very efficient VHDL verification of FPGA and ASIC – resulting also in significant quality improvement. Community forum: https://forum.uvvm.org/ UVVM.org: https://uvvm.org/

Dafny is a verification-aware programming language

A free, secure and open source app for Android to manage your 2-step verification tokens.

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Python version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.

Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.

Hardware-based attestation and intrusion detection app for Android. It provides both local verification with another Android device via QR codes and optional scheduled server-based verification with support for alert emails. It uses hardware-backed keys and attestation support as the foundation and chains trust to the app for software checks.

Authenticator generates 2-Step Verification codes in your browser.

AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components