The Wayback Machine - https://web.archive.org/web/20200717041958/https://github.com/topics/verification

#

verification

Here are 679 public repositories matching this topic...

mockk

mockk / mockk

Star

mocking library for Kotlin

kotlin mock verification matcher mocking-framework chain-calls argument-matchers

Updated May 24, 2020
Kotlin

FStarLang / FStar

Star

Verification system for effectful programs

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

Updated Jul 16, 2020
F*

ligurio / awesome-software-quality

Star

Software Quality Wiki

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

Updated Jun 26, 2020

leanprover / lean

Star

Lean Theorem Prover

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

Updated Nov 3, 2019
C++

project-everest / hacl-star

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 Jul 16, 2020
F*

codenotary / immudb

Star

immudb is a lightweight, high-speed immutable database for systems and applications

go golang immutable database key-value verification merkle-tree immutable-database sensitive-data tamperproof

Updated Jul 16, 2020
Go

tlaplus / tlaplus

Star

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 Jul 17, 2020
Java

trumail / trumail

Star

✉️

✅ A Fast and Free Email Verification API written in Go

api docker golang validation email verification

Updated Jun 15, 2018
Go

OWASP / owasp-masvs

Star

Open

Consistency in wording

2

TheDauntless commented Mar 27, 2020

The controls are worded in a few different ways right now.

Most of them are affirmative:

No sensitive data is written to application logs.

But some are conditional:

The app’s local storage should be wiped after an excessive number of failed authentication attempts.

I propose to rewrite the second type to the first type:

The app’s local storage is wiped after an excessive nu

Read more

Open

MIsstype in document name

3

ucsd-progsys / liquidhaskell

Star

Liquid Types For Haskell

haskell verification refinement-types smt

Updated Jul 15, 2020
Haskell

stfalcon-studio / SmsVerifyCatcher

Star

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 Mar 23, 2019
Java

cocotb / cocotb

Star

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

python test vhdl verification verilog uvm

Updated Jul 16, 2020
Python

uwdb / Cosette

Star

Cosette is an automated SQL solver.

sql database coq verification rosette

Updated Apr 5, 2019
Lean

simonepri / upash

Star

🔒Unified API for password hashing algorithms

Updated Sep 5, 2018
JavaScript

pact-foundation / pact_broker

Star

Enables your consumer driven contracts workflow

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

Updated Jul 15, 2020
Ruby

furkansenharputlu / f-license

Star

Open Source License Key Generation and Verification Tool written in Go

Updated May 16, 2020
Go

msoos / cryptominisat

Star

An advanced SAT solver

cryptography verification cnf sat-solver xor

Updated Jul 14, 2020
C++

VUnit / vunit

Star

VUnit is a unit testing framework for VHDL/SystemVerilog

unit-testing asic fpga vhdl verification testbench verilog-hdl systemverilog-hdl universal-verification-methodology

Updated Jul 7, 2020
VHDL

dselsam / certigrad

Star

Bug-free machine learning on stochastic computation graphs

machine-learning theorem-proving verification lean

Updated Mar 3, 2019
Lean

zekunyan / TTGPuzzleVerify

Star

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

ios ui puzzle objective-c animation verification custom-puzzle-shape

Updated Dec 11, 2016
Objective-C

VLSI-EDA / PoC

Star

IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany

Updated May 4, 2020
VHDL

pysmt / pysmt

Star

pySMT: A library for SMT formulae manipulation and solving

python formula verification constraints satisfiability-modulo-theories python-3 smt

Updated Jun 22, 2020
Python

stp / stp

Star

Simple Theorem Prover, an efficient SMT solver for bitvectors

c c-plus-plus cryptography verification symbolic-execution cnf sat-solver smt

Updated Jul 16, 2020
C

dalek-cryptography / ed25519-dalek

Star

Fast and efficient ed25519 signing and verification in Rust.

rust cryptography signing verification ed25519 curve25519

Updated Jul 16, 2020
Rust

smackers / smack

Star

SMACK Software Verifier and Verification Toolchain

c rust c-plus-plus llvm verification smt verifier verification-toolchain

Updated Jul 17, 2020
C

gookit / validate

Star

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

validation filter validator verification validate govalidator

Updated Jul 17, 2020
Go

FStarLang / kremlin

Star

KreMLin is a tool for extracting low-level F* programs to readable C code

cryptography verification proofs c-language f-star

Updated Jul 13, 2020
OCaml

storozhukBM / verifier

Star

Package verifier provides simple defensive programing primitives.

golang verification error-handling defensive-programing

Updated Feb 2, 2020
Go

parapluu / Concuerror

Star

Concuerror is a stateless model checking tool for Erlang programs.

testing debugging erlang otp tool verification systematic-testing concuerror automatic concurrent-erlang-programs concurrent-programming model-checking model-checker stateless-model-checking

Updated Jun 16, 2020
Erlang

express-graphql-mongodb-boilerplate

watscho / express-graphql-mongodb-boilerplate

Star

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

Updated Dec 30, 2019
JavaScript

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."

You can’t perform that action at this time.