#

verification

Here are 1,086 public repositories matching this topic...

immudb

codenotary / immudb

immudb - immutable database based on zero trust, SQL and Key-Value, tamperproof, data change history

Updated Oct 31, 2022
Go

mockk

mockk / mockk

mocking library for Kotlin

kotlin testing mock tdd verification matcher mocking-framework hacktoberfest chain-calls argument-matchers

Updated Oct 28, 2022
Kotlin

FStarLang / FStar

A Proof-oriented Programming Language

programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar

Updated Oct 31, 2022
F*

ligurio / software-quality-wiki

Software Quality Wiki

testing learning verification courses model-checking formal-methods quality-assurance ebooks software-testing tla

Updated Feb 9, 2021

leanprover / lean

Lean Theorem Prover

programming-language dependent-types theorem-proving verification type-theory lean

Updated Aug 6, 2020
C++

tlaplus / tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

java algorithms high-performance verification specifications model-checking mit-license tla

Updated Oct 23, 2022
Java

dafny-lang / dafny

Dafny is a verification-aware programming language

programming-language verification

Updated Oct 31, 2022
C#

OWASP / owasp-masvs

Sponsor

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

security security-audit mobile gitbook verification audit owasp ios-app standard penetration-testing android-app security-standards penetration-tests mstg masvs mastg

Updated Oct 20, 2022
TeX

hacl-star / hacl-star

HACL*, a formally verified cryptographic library written in F*

security cryptography high-performance verification formal-methods verified-primitives formal-verification everest inria hacl

Updated Oct 31, 2022
F*

cocotb / cocotb

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

python test vhdl verification verilog uvm

Updated Oct 31, 2022
Python

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

rust verification viper formal-verification

Updated Oct 31, 2022
Rust

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

haskell verification refinement-types smt

Updated Oct 25, 2022
Haskell

trumail / trumail

📧

✅ A Fast and Free Email Verification API written in Go

api docker golang validation email verification

Updated Jun 15, 2018
Go

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

android sms verification catcher confirmation

Updated Feb 15, 2021
Java

gookit / validate

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

validation filter validator verification validate govalidator

Updated Oct 25, 2022
Go

kani

model-checking / kani

Kani Rust Verifier

rust verification model-checking

Updated Oct 31, 2022
Rust

magmide / magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

Updated Sep 4, 2022
Coq

msoos / cryptominisat

An advanced SAT solver

cryptography proof verification cnf sat-solver cdcl-algorithm xor dpll

Updated Oct 30, 2022
C++

ultraembedded / riscv

Sponsor

RISC-V CPU Core (RV32IM)

asic cpu fpga verification verilog pipeline-processor risc-v rv32i verilator riscv-linux rv32im

Updated Sep 18, 2021
Verilog

pact-foundation / pact_broker

Enables your consumer driven contracts workflow

verification provider consumer contract-testing hacktoberfest consumer-driven-contracts pact-broker hal-browser

Updated Oct 19, 2022
Ruby

Improve this page

Add a description, image, and links to the verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."