Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.02026年9月18日 · 指标 2.10.0
全部标签
目录标签
#verification
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
142 条记录
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause2026年9月17日 · 指标 2.10.0
crates.io · PyPI
model-checking/kani
Kani Rust Verifier
Apache-2.02026年9月18日 · 指标 2.10.0
PyPI
munich-quantum-toolkit/qcec
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
MIT2026年10月15日 · 指标 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.02026年9月10日 · 指标 2.10.0
npm
argotorg/sourcify
Source code verification service for Ethereum smart contracts
MIT2026年9月19日 · 指标 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
自定义许可证2026年9月17日 · 指标 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
自定义许可证2026年9月17日 · 指标 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.12026年9月14日 · 指标 2.10.0
PyPI
OpenAdaptAI/OpenAdapt
Compiles a demonstrated GUI task into a program that reports VERIFIED only if an independent check agrees. pip install openadapt; openadapt flow tutorial. Compiler lives in openadapt-flow.
MIT2026年9月10日 · 指标 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年9月16日 · 指标 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT2026年9月12日 · 指标 2.10.0
npm · crates.io
reticlehq/reticle
AI agents can generate code, but they still struggle to understand what they build. Reticle gives them runtime perception of web & desktop applications.
自定义许可证2026年9月13日 · 指标 2.10.0
npm
intel/rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
BSD-3-Clause2026年10月18日 · 指标 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
自定义许可证2026年9月14日 · 指标 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT2026年10月20日 · 指标 2.10.0
Maven
Vonage/vonage-java-sdk
Vonage Server SDK for Java. API support for SMS, Messages, Voice, Text-to-Speech, Numbers, Verify (2FA), Video and more.
Apache-2.02026年9月18日 · 指标 2.10.0
crates.io · npm
dfinity/response-verification
Client side response verification for the Internet Computer
Apache-2.02026年9月26日 · 指标 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.02026年10月19日 · 指标 2.10.0
npm · crates.io
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache-2.02026年10月19日 · 指标 2.10.0
npm
bsv-blockchain/ts-stack
BSV TypeScript monorepo for the SDK, wallet tooling, overlays, messaging, middleware, helpers, infra services, docs, and cross-language conformance vectors.
自定义许可证2026年10月22日 · 指标 2.10.0
npm · PyPI · Go
opena2a-org/agent-identity-management
The IAM layer for AI agents: cryptographic identity, capability authorization, and audit trails for non-human identities. Open source.
Apache-2.02026年10月9日 · 指标 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MIT2026年9月14日 · 指标 2.10.0
npm · PyPI
hypequery/hypequery
hypequery - The TypeScript analytics layer for ClickHouse
自定义许可证2026年10月20日 · 指标 2.10.0
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.02026年10月22日 · 指标 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.02026年9月8日 · 指标 2.10.0
npm
tiagozip/cap
Free, open-source and self-hosted CAPTCHA alternative to reCAPTCHA. Privacy-first and powered by proof-of-work and instrumentation challenges.
自定义许可证2026年9月15日 · 指标 2.10.0
PyPI · npm · crates.io +1
QWED-AI/qwed-verification
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
Apache-2.02026年9月18日 · 指标 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.02026年9月11日 · 指标 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年10月22日 · 指标 2.10.0