Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.018. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#verification
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
142 Einträge
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause17. Sept. 2026 · Metriken 2.10.0
crates.io · PyPI
model-checking/kani
Kani Rust Verifier
Apache-2.018. Sept. 2026 · Metriken 2.10.0
PyPI
munich-quantum-toolkit/qcec
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
MIT15. Okt. 2026 · Metriken 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.010. Sept. 2026 · Metriken 2.10.0
npm
argotorg/sourcify
Source code verification service for Ethereum smart contracts
MIT19. Sept. 2026 · Metriken 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Eigene Lizenz17. Sept. 2026 · Metriken 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Eigene Lizenz17. Sept. 2026 · Metriken 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.114. Sept. 2026 · Metriken 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.
MIT10. Sept. 2026 · Metriken 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.016. Sept. 2026 · Metriken 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT12. Sept. 2026 · Metriken 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.
Eigene Lizenz13. Sept. 2026 · Metriken 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-Clause18. Okt. 2026 · Metriken 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Eigene Lizenz14. Sept. 2026 · Metriken 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT20. Okt. 2026 · Metriken 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.018. Sept. 2026 · Metriken 2.10.0
crates.io · npm
dfinity/response-verification
Client side response verification for the Internet Computer
Apache-2.026. Sept. 2026 · Metriken 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.019. Okt. 2026 · Metriken 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.019. Okt. 2026 · Metriken 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.09. Okt. 2026 · Metriken 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MIT14. Sept. 2026 · Metriken 2.10.0
npm
bsv-blockchain/ts-stack
Keine Repository-Beschreibung veröffentlicht.
Eigene Lizenz6. Sept. 2026 · Metriken 2.10.0
npm · PyPI
hypequery/hypequery
hypequery - The TypeScript analytics layer for ClickHouse
Eigene Lizenz20. Okt. 2026 · Metriken 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.08. Sept. 2026 · Metriken 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.
Eigene Lizenz15. Sept. 2026 · Metriken 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.018. Sept. 2026 · Metriken 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.011. Sept. 2026 · Metriken 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
MIT12. Sept. 2026 · Metriken 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.05. Sept. 2026 · Metriken 2.10.0