verification · GitHub Topics

TruffleHog 是一个用来探测泄漏密钥的工具，支持扫描的数据源包括git、github、gitlab、S3、文件系统、文件和标准输入

secret trufflehog credentials 安全 devsecops dynamic-analysis secrets verification Hacktoberfest secret-management precommit scanning

Go 19.54 k

21 小时前

codenotary / immudb

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

key-value immutable merkle-tree Go 数据库 tamperproof verification immutable-database compliance pci-dss gdpr verify performance SQL timetravel zero-trust

Go 8.75 k

16 天前

mockk / mockk

mocking library for Kotlin

verification matcher Kotlin mocking-framework mock Testing Test-driven development Hacktoberfest

Kotlin 5.58 k

11 天前

dafny-lang / dafny

Dafny is a verification-aware programming language

编程语言 verification

C# 3.09 k

4 天前

FStarLang / FStar

A Proof-oriented Programming Language

编程语言 verification dependent-types smt theorem-proving proof-assistant OCaml f-sharp C

F* 2.85 k

2 天前

model-checking / kani

Kani Rust Verifier

Rust model-checking verification

Rust 2.57 k

5 天前

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 算法 mit-license

Java 2.45 k

2 天前

ligurio / sqa-wiki

#学习与技能提升#My own notes (drafts mostly) about software quality

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

2.29 k

2 年前

OWASP / owasp-masvs

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

masvs verification 移动安全 audit standard gitbook penetration-testing owasp security-standards mstg iOS Android mastg

Python 2.18 k

18 天前

leanprover / lean3

Lean Theorem Prover

编程语言 theorem-proving type-theory verification dependent-types Lean

C++ 2.15 k

2 年前

cocotb / cocotb

cocotb: Python-based chip (RTL) verification

Python vhdl Verilog verification Testing

Python 2 k

2 天前

hacl-star / hacl-star

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

Cryptography verified-primitives high-performance 安全 formal-methods formal-verification inria hacl everest verification

F* 1.76 k

8 天前

viperproject / prusti-dev

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

Rust verification viper formal-verification

Rust 1.65 k

10 天前

ultraembedded / riscv

RISC-V CPU Core (RV32IM)

RISC-V cpu Verilog fpga verilator rv32im rv32i asic verification

Verilog 1.47 k

4 年前

AfterShip / email-verifier

✅ A Go library for email verification without sending any emails.

Go smtp email verifier verification validation disposable

Go 1.38 k

2 个月前

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

Rust verification formal-verification formal-methods

Rust 1.28 k

3 天前

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

Haskell refinement-types smt verification

Haskell 1.24 k

13 天前

gookit / validate

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

validation validator filter govalidator validate verification

Go 1.1 k

19 天前

typetools / checker-framework

Pluggable type-checking for Java

Java types verification

Java 1.08 k

2 天前

trumail / trumail

✉️ ✅ A Fast and Free Email Verification API written in Go

verification Docker email Go validation API

Go 1.05 k

7 年前