cocotb: Python-based chip (RTL) verification

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

pySMT: A library for SMT formulae manipulation and solving

Vonage Server SDK for Python. API support for Voice, SMS, WhatsApp, Verify (2FA), Video Meetings and more.

open-cv, slider, rotate captcha, 缺口滑块校验, 双图旋转校验

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

gdsfactory plugins

Metrics for verifying forecasts

Fact Extraction and VERification baseline published in NAACL2018

Graphical tool for creating verification plots of weather forecasts

A Python API for the GNU Privacy Guard (GnuPG). Encrypt, decrypt, sign and verify your data using Python! N.B. This repository has been migrated from Mercurial on 2019-11-16, so references to commits before this date will refer to the Mercurial source and not this Git repository. The migration is marked by a commit that adds a .gitignore file.

Secure Electronic Voting using Azure Blockchain

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Temporal Logic Planning toolbox

Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor

AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.

The Model and ObservatioN Evaluation Toolkit (MONET)

Functional Coverage and Constrained Randomization Extensions for Cocotb

WAL enables programmable waveform analysis.