Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.02026年8月13日 · 指标 2.10.0
全部标签
目录标签
#verification
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
81 条记录
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause2026年8月13日 · 指标 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
自定义许可证2026年8月13日 · 指标 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
自定义许可证2026年8月11日 · 指标 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT2026年7月21日 · 指标 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.02026年7月18日 · 指标 2.10.0
crates.io
google/zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Apache-2.02026年8月4日 · 指标 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
自定义许可证2026年7月28日 · 指标 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT2026年8月22日 · 指标 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.12026年7月27日 · 指标 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.02026年8月21日 · 指标 2.10.0
npm
bsv-blockchain/ts-stack
该仓库未发布描述。
自定义许可证2026年9月6日 · 指标 2.10.0
—
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
BSD-3-Clause2026年7月19日 · 指标 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.02026年7月18日 · 指标 2.10.0
npm
emiliaprotocol/emilia-protocol
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.
Apache-2.02026年9月5日 · 指标 2.10.0
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.02026年9月6日 · 指标 2.10.0
crates.io · PyPI · npm +1
Phala-Network/dcap-qvl
该仓库未发布描述。
MIT2026年7月23日 · 指标 2.10.0
npm
basilisk-labs/agentplane
🛩️ Git-native workflow control for coding agents: approved plans, verification, and reviewable evidence for Claude Code, Codex, Cursor, and Aider.
MIT2026年9月6日 · 指标 2.10.0
crates.io · npm
boltffi/boltffi
A high-performance multi-language bindings generator for Rust, up to 1,000x faster than UniFFI. Ship Rust libraries that feels native to Python, Swift, Kotlin, and more
MIT2026年7月21日 · 指标 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MIT2026年7月28日 · 指标 2.10.0
crates.io · npm
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache-2.02026年8月20日 · 指标 2.10.0
crates.io · Maven
rustls/rustls-platform-verifier
A certificate verification library for rustls that uses the operating system's verifier
Apache-2.02026年8月8日 · 指标 2.10.0
npm
hypequery/hypequery
hypequery - The TypeScript semantic layer for ClickHouse
自定义许可证2026年8月22日 · 指标 2.10.0
PyPI
linkchecker/linkchecker
check links in web documents or full websites
GPL-2.02026年7月30日 · 指标 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.02026年7月15日 · 指标 2.10.0
crates.io · npm
hypothesi/mcp-server-tauri
A Model Context Protocol (MCP) server and plugin for Tauri v2 development
MIT2026年9月2日 · 指标 2.10.0
NuGet
soenneker/soenneker.sendgrid.validation
A .NET typesafe implementation of SendGrid's Validation API
MIT2026年9月6日 · 指标 2.10.0
Go
franchoy/coldkeep
Coldkeep is a correctness-first, content-addressed cold-storage engine with deterministic restore, staged integrity verification, safe garbage collection, deduplication, transform-aware packed storage, stable storage semantics, and a reusable engine/catalog core. v1.x is complete; v2.x focuses on local-first productization.
Apache-2.02026年8月16日 · 指标 2.10.0
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.02026年7月21日 · 指标 2.10.0
npm
neus/network
The trust layer for people and AI. Portable identity, context, and authorization that travels.
自定义许可证2026年7月21日 · 指标 2.10.0