verification

There are 32 repositories under verification topic.

trufflehog
trufflesecurity / trufflehog
Find and verify secrets
credentials devsecops dynamic-analysis hacktoberfest precommit scanning secret secret-management secrets security security-tools trufflehog verification
Language:Go 13872
immudb
codenotary / immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
auditable compliance cryptographic database gdpr go immutable immutable-database key-value merkle-tree pci-dss performance sql tamper-evident tamperproof timetravel verification verify zero-trust
Language:Go 8486
mockk
mockk / mockk
mocking library for Kotlin
verification chain-calls matcher argument-matchers kotlin mocking-framework mock testing tdd hacktoberfest
Language:Kotlin 5281
dafny-lang / dafny
Dafny is a verification-aware programming language
programming-language verification
Language:C# 2740
FStarLang / FStar
A Proof-oriented Programming Language
programming-language verification dependent-types smt theorem-proving proof-assistant ocaml f-sharp c-language fstar
Language:F* 2565
ligurio / sqa-wiki
My own notes (drafts mostly) about software quality
ebooks quality-assurance software-testing courses verification tla learning model-checking formal-methods testing
2217
tlaplus / tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tla specifications model-checking verification high-performance java algorithms mit-license
Language:Java 2205
leanprover / lean3
Lean Theorem Prover
programming-language theorem-proving type-theory verification dependent-types lean
Language:C++ 2136
OWASP / owasp-masvs
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
masvs verification mobile security audit penetration-tests standard gitbook penetration-testing owasp security-audit security-standards mstg ios-app android-app mastg
Language:Python 1945
kani
model-checking / kani
Kani Rust Verifier
model-checking rust verification
Language:Rust 1891
cocotb / cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
python vhdl verilog uvm verification test
Language:Python 1601
hacl-star / hacl-star
HACL*, a formally verified cryptographic library written in F*
cryptography everest formal-methods formal-verification hacl high-performance inria security verification verified-primitives
Language:F* 1583
viperproject / prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
formal-verification rust verification viper
Language:Rust 1463
ucsd-progsys / liquidhaskell
Liquid Types For Haskell
haskell refinement-types smt verification
Language:Haskell 1149
ultraembedded / riscv
RISC-V CPU Core (RV32IM)
risc-v cpu verilog fpga verilator rv32im rv32i riscv-linux pipeline-processor asic verification
Language:Verilog 1074
AfterShip / email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
go smtp email verifier verification validation disposable
Language:Go 1069
trumail / trumail
:email: :white_check_mark: A Fast and Free Email Verification API written in Go
verification docker email golang validation api
Language:Go 1035
gookit / validate
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
validation validator filter govalidator validate verification
Language:Go 1007
typetools / checker-framework
Pluggable type-checking for Java
java types verification
Language:Java 977
creusot
creusot-rs / creusot
Creusot helps you prove your code is correct in an automated fashion.
deductive-reasoning formal-methods formal-verification proof rust rust-lang verification why3
Language:Rust 973
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
Language:Java 846
magmide / magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
formal-verification formal-methods type-safety systems-programming dependent-types verification logic coq
Language:Coq 803
msoos / cryptominisat
An advanced SAT solver
sat-solver verification cryptography cnf xor cdcl-algorithm dpll proof
Language:C++ 789
furkansenharputlu / f-license
Open Source License Key Generation and Verification Tool written in Go
license-management verification customer-management go golang license-tracker license-generator license-server cli cli-tool cli-application cli-app jwt jwt-token jwt-authentication rsa rsa-algorithm rsa-key-encryption hmac hmac-authentication
Language:Go 766
ethereum / sourcify
Decentralized Solidity contract source code verification service
verification contracts
Language:TypeScript 731
pact-foundation / pact_broker
Enables your consumer driven contracts workflow
pact-broker hal-browser contract-testing consumer consumer-driven-contracts verification provider hacktoberfest smartbear-supported
Language:Ruby 693
Tkko / Flutter_Pinput
Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
android-autofill autofill code flutter flutter-package flutter-pin-code flutter-widget ios-autofill otp phone-verification pin pincode sms smsautofill smsretrieverapi smsuserconsentapi verification verification-code
Language:Dart 686
VUnit / vunit
VUnit is a unit testing framework for VHDL/SystemVerilog
vhdl verification systemverilog-hdl unit-testing fpga asic testbench universal-verification-methodology verilog-hdl
Language:VHDL 682
AliveToolkit / alive2
Automatic verification of LLVM optimizations
llvm verification translation-validation automatic-verification smt llvm-ir symbolic-execution model-checking
Language:C++ 676
dalek-cryptography / ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
rust signing verification curve25519 ed25519 cryptography
Language:Rust 657
uwdb / Cosette
Cosette is an automated SQL solver.
coq database rosette sql verification
Language:Lean 654
express-mongodb-rest-api-boilerplate
watscho / express-mongodb-rest-api-boilerplate
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript
express mongodb boilerplate authentication authorization scratch verification redis docker docker-compose multilanguage token-blacklisting api nodejs node express-js jwt jwt-authentication typescript
Language:TypeScript 588
sarsko / CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
sat verification rust automated-reasoning deductive-reasoning formal-methods formal-verification minisat sat-solver satisfiability proof rust-lang
Language:Rust 582
pysmt / pysmt
pySMT: A library for SMT formulae manipulation and solving
satisfiability-modulo-theories python python-3 formula smt constraints verification
Language:Python 551
simonepri / upash
🔒Unified API for password hashing algorithms
credential nodejs hash-functions security brute-force timing-attacks rainbow-table bcrypt pbkdf2 argon verification credentials password upash unified api universal cli secure hashing
Language:JavaScript 532
hughperkins / VeriGPU
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
verilog risc-v risc-v-assembly hardware-designs asic-design gpu gpu-acceleration machine-learning verification
Language:SystemVerilog 527