⚔ Go package for data validation and filtering. support Map, Struct, For...
Pluggable type-checking for Java
:email: :white_check_mark: A Fast and Free Email Verification API writte...
Android library for phone number verification feature in your app. Autom...
An advanced SAT solver
Open Source License Key Generation and Verification Tool written in Go
Enables your consumer driven contracts workflow
VUnit is a unit testing framework for VHDL/SystemVerilog
Automatic verification of LLVM optimizations
Fast and efficient ed25519 signing and verification in Rust.
Cosette is an automated SQL solver.
A boilerplate for Node.js apps / Rest API / Authentication from scratch ...
CreuSAT - A formally verified SAT solver written in Rust and verified wi...
pySMT: A library for SMT formulae manipulation and solving
🔒Unified API for password hashing algorithms