verification
There are 1426 repositories under verification topic.
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
mockk/mockk
mocking library for Kotlin
dafny-lang/dafny
Dafny is a verification-aware programming language
FStarLang/FStar
A Proof-oriented Programming Language
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ligurio/sqa-wiki
My own notes (drafts mostly) about software quality
leanprover/lean3
Lean Theorem Prover
model-checking/kani
Kani Rust Verifier
OWASP/owasp-masvs
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
cocotb/cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
ultraembedded/riscv
RISC-V CPU Core (RV32IM)
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
AfterShip/email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
gookit/validate
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
trumail/trumail
:email: :white_check_mark: A Fast and Free Email Verification API written in Go
typetools/checker-framework
Pluggable type-checking for Java
stfalcon-studio/SmsVerifyCatcher
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
msoos/cryptominisat
An advanced SAT solver
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
furkansenharputlu/f-license
Open Source License Key Generation and Verification Tool written in Go
ethereum/sourcify
Decentralized Solidity contract source code verification service
hughperkins/VeriGPU
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
AliveToolkit/alive2
Automatic verification of LLVM optimizations
Tkko/Flutter_Pinput
Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
VUnit/vunit
VUnit is a unit testing framework for VHDL/SystemVerilog
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
dalek-cryptography/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
uwdb/Cosette
Cosette is an automated SQL solver.
watscho/express-mongodb-rest-api-boilerplate
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
VLSI-EDA/PoC
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany