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

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

pySMT: A library for SMT formulae manipulation and solving

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

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

Metrics for verifying forecasts

Alive: Automatic LLVM's Instcombine Verifier

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

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

WAL enables programmable waveform analysis.

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

Fact Extraction and VERification baseline published in NAACL2018

Temporal Logic Planning toolbox

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.

ThreatTracer - A python Script to identify CVE by name & version by @FR13ND0x7f

Functional Coverage and Constrained Randomization Extensions for Cocotb

Secure Electronic Voting using Azure Blockchain

Regular Expressions Made Simple.

An async security library for the Sanic framework.

Graphical tool for creating verification plots of weather forecasts