Topic: verification Goto Github

👇 Here are 1311 public repositories matching this topic...

aftership / email-verifier
verification,:white_check_mark: A Go library for email verification without sending any emails.
Organization: aftership
go smtp email verifier verification validation disposable

alivetoolkit / alive2
verification,Automatic verification of LLVM optimizations
Organization: alivetoolkit
llvm verification translation-validation automatic-verification smt llvm-ir symbolic-execution model-checking

ben-marshall / awesome-open-hardware-verification
verification,A List of Free and Open Source Hardware Verification Tools and Frameworks
User: ben-marshall
hardware verification vhdl verilog formal-verification constrained-random-verification python awesome awesome-list coverage

cocotb / cocotb
verification,cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Organization: cocotb
Home Page: https://www.cocotb.org
python vhdl verilog uvm verification test

codenotary / immudb
verification,immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Organization: codenotary
Home Page: https://immudb.io
key-value immutable merkle-tree go database tamperproof verification immutable-database compliance pci-dss

creusot-rs / creusot
verification,Creusot helps you prove your code is correct in an automated fashion.
Organization: creusot-rs
deductive-reasoning formal-methods formal-verification proof rust rust-lang verification why3

dafny-lang / dafny
verification,Dafny is a verification-aware programming language
Organization: dafny-lang
Home Page: https://dafny.org
programming-language verification

dalek-cryptography / ed25519-dalek
verification,Fast and efficient ed25519 signing and verification in Rust.
Organization: dalek-cryptography
rust signing verification curve25519 ed25519 cryptography

dselsam / certigrad
verification,Bug-free machine learning on stochastic computation graphs
User: dselsam
machine-learning theorem-proving lean verification

ethereum / sourcify
verification,Decentralized Solidity contract source code verification service
Organization: ethereum
Home Page: https://sourcify.dev
verification contracts

fstarlang / fstar
verification,A Proof-oriented Programming Language
Organization: fstarlang
Home Page: https://www.fstar-lang.org
programming-language verification dependent-types smt theorem-proving proof-assistant ocaml f-sharp c-language fstar

fstarlang / karamel
verification,KaRaMeL is a tool for extracting low-level F* programs to readable C code
Organization: fstarlang
verification proofs cryptography c-language f-star

furkansenharputlu / f-license
verification,Open Source License Key Generation and Verification Tool written in Go
User: furkansenharputlu
license-management verification customer-management go golang license-tracker license-generator license-server cli cli-tool

gookit / validate
verification,⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
Organization: gookit
Home Page: https://gookit.github.io/validate/
validation validator filter govalidator validate verification

hacl-star / hacl-star
verification,HACL*, a formally verified cryptographic library written in F*
Organization: hacl-star
cryptography verified-primitives high-performance security formal-methods formal-verification inria hacl everest verification

hughperkins / verigpu
verification,OpenSource GPU, in Verilog, loosely based on RISC-V ISA
User: hughperkins
verilog risc-v risc-v-assembly hardware-designs asic-design gpu gpu-acceleration machine-learning verification

in-toto / witness
verification,Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
Organization: in-toto
Home Page: https://witness.dev
security-tools security attestation verification supply-chain

informalsystems / apalache
verification,APALACHE: symbolic model checker for TLA+ and Quint
Organization: informalsystems
Home Page: https://apalache.informal.systems
tlaplus tla model-checking smt verification quint apalache

johnyf / tool_lists
verification,Links to tools by subject
User: johnyf
tools verification synthesis static-analysis binary-decision-diagrams model-checking theorem-proving proof-assistant satisfiability-solver satisfiability-modulo-theories smtlib formal-methods theorem-prover

leanprover / lean3
verification,Lean Theorem Prover
Organization: leanprover
Home Page: http://leanprover.github.io/
programming-language theorem-proving type-theory verification dependent-types lean

ligurio / sqa-wiki
verification,My own notes (drafts mostly) about software quality
User: ligurio
Home Page: https://github.com/ligurio/sqa-wiki/wiki
ebooks quality-assurance software-testing courses verification tla learning model-checking formal-methods testing

magmide / magmide
verification,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
formal-verification formal-methods type-safety systems-programming dependent-types verification logic coq

mockk / mockk
verification,mocking library for Kotlin
Organization: mockk
Home Page: https://mockk.io
verification chain-calls matcher argument-matchers kotlin mocking-framework mock testing tdd hacktoberfest

model-checking / kani
verification,Kani Rust Verifier
Organization: model-checking
Home Page: https://model-checking.github.io/kani
rust model-checking verification

msoos / cryptominisat
verification,An advanced SAT solver
User: msoos
Home Page: https://www.msoos.org
sat-solver verification cryptography cnf xor cdcl-algorithm dpll proof

openhwgroup / core-v-verif
verification,Functional verification project for the CORE-V family of RISC-V cores.
Organization: openhwgroup
Home Page: https://docs.openhwgroup.org/projects/core-v-verif/en/latest/index.html
systemverilog uvm verification risc-v

owasp / owasp-masvs
verification,The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
Organization: owasp
Home Page: https://mas.owasp.org/
masvs verification mobile security audit penetration-tests standard gitbook penetration-testing owasp

pact-foundation / pact_broker
verification,Enables your consumer driven contracts workflow
Organization: pact-foundation
Home Page: http://pactflow.io
pact-broker hal-browser contract-testing consumer consumer-driven-contracts verification provider hacktoberfest smartbear-supported

princetonuniversity / vst
verification,Verified Software Toolchain
Organization: princetonuniversity
Home Page: https://vst.cs.princeton.edu
coq coq-vst compcert c coq-library verification proof proof-assistant formal-methods formal-verification

pysmt / pysmt
verification,pySMT: A library for SMT formulae manipulation and solving
Organization: pysmt
Home Page: http://www.pysmt.org
satisfiability-modulo-theories python python-3 formula smt constraints verification

sarsko / creusat
verification,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
sat verification rust automated-reasoning deductive-reasoning formal-methods formal-verification minisat sat-solver satisfiability

seahorn / seahorn
verification,SeaHorn Verification Framework
Organization: seahorn
Home Page: http://seahorn.github.io/
verification llvm model-checking abstract-interpretation horn-clauses program-analysis static-analysis

simonepri / upash
verification,🔒Unified API for password hashing algorithms
User: simonepri
Home Page: https://www.npmjs.com/upash
credential nodejs hash-functions security brute-force timing-attacks rainbow-table bcrypt pbkdf2 argon

smackers / smack
verification,SMACK Software Verifier and Verification Toolchain
Organization: smackers
Home Page: http://smackers.github.io
verification llvm verifier smt c verification-toolchain rust c-plus-plus

stfalcon-studio / smsverifycatcher
verification,Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Organization: stfalcon-studio
Home Page: https://stfalcon.com
android sms verification catcher confirmation

stp / stp
verification,Simple Theorem Prover, an efficient SMT solver for bitvectors
Organization: stp
Home Page: https://stp.github.io/
smt symbolic-execution sat-solver verification cryptography cnf

tkko / flutter_pinput
verification,Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
User: tkko
Home Page: https://pub.dev/packages/pinput
pin otp pincode flutter-pin-code verification verification-code flutter-package flutter-widget phone-verification autofill

tlaplus / tlaplus
verification,TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/tla/tla.html
tla specifications model-checking verification high-performance java algorithms mit-license

trufflesecurity / trufflehog
verification,Find and verify secrets
Organization: trufflesecurity
Home Page: https://trufflesecurity.com
secret trufflehog credentials security devsecops dynamic-analysis security-tools secrets verification hacktoberfest secret-management precommit scanning

trumail / trumail
verification,:email: :white_check_mark: A Fast and Free Email Verification API written in Go
Organization: trumail
Home Page: https://trumail.io
verification docker email golang validation api

typetools / checker-framework
verification,Pluggable type-checking for Java
Organization: typetools
Home Page: http://checkerframework.org/
java types verification

ucsd-progsys / liquidhaskell
verification,Liquid Types For Haskell
Organization: ucsd-progsys
haskell refinement-types smt verification

ultraembedded / riscv
verification,RISC-V CPU Core (RV32IM)
User: ultraembedded
risc-v cpu verilog fpga verilator rv32im rv32i riscv-linux pipeline-processor asic

uwdb / cosette
verification,Cosette is an automated SQL solver.
Organization: uwdb
rosette coq sql database verification

viperproject / prusti-dev
verification,A static verifier for Rust, based on the Viper verification infrastructure.
Organization: viperproject
Home Page: http://prusti.org
rust verification viper formal-verification

vlsi-eda / poc
verification,IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany
Organization: vlsi-eda
Home Page: https://tu-dresden.de/ing/informatik/ti/vlsi
vhdl poc-library python simulation synthesis verification vlsi testbenches hardware-modules fpga

vunit / vunit
verification,VUnit is a unit testing framework for VHDL/SystemVerilog
Organization: vunit
Home Page: http://vunit.github.io/
vhdl verification systemverilog-hdl unit-testing fpga asic testbench universal-verification-methodology verilog-hdl

watscho / express-graphql-mongodb-boilerplate
verification,A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).
User: watscho
express graphql mongodb boilerplate graphql-compose compose authentication authorization scratch verification

watscho / express-mongodb-rest-api-boilerplate
verification,A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript
User: watscho
express mongodb boilerplate authentication authorization scratch verification redis docker docker-compose

zekunyan / ttgpuzzleverify
verification,By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件
User: zekunyan
puzzle verification custom-puzzle-shape objective-c ios animation ui