Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.018 sept 2026 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#verification
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
142 registros
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause17 sept 2026 · métricas 2.10.0
crates.io · PyPI
model-checking/kani
Kani Rust Verifier
Apache-2.018 sept 2026 · métricas 2.10.0
PyPI
munich-quantum-toolkit/qcec
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
MIT15 oct 2026 · métricas 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.010 sept 2026 · métricas 2.10.0
npm
argotorg/sourcify
Source code verification service for Ethereum smart contracts
MIT19 sept 2026 · métricas 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Licencia propia17 sept 2026 · métricas 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Licencia propia17 sept 2026 · métricas 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.114 sept 2026 · métricas 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 · métricas 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 · métricas 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT12 sept 2026 · métricas 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.
Licencia propia13 sept 2026 · métricas 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 oct 2026 · métricas 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Licencia propia14 sept 2026 · métricas 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT20 oct 2026 · métricas 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 · métricas 2.10.0
crates.io · npm
dfinity/response-verification
Client side response verification for the Internet Computer
Apache-2.026 sept 2026 · métricas 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.019 oct 2026 · métricas 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 oct 2026 · métricas 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.
Licencia propia22 oct 2026 · métricas 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 oct 2026 · métricas 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 · métricas 2.10.0
npm · PyPI
hypequery/hypequery
hypequery - The TypeScript analytics layer for ClickHouse
Licencia propia20 oct 2026 · métricas 2.10.0
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.022 oct 2026 · métricas 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.022 oct 2026 · métricas 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.
Licencia propia15 sept 2026 · métricas 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 · métricas 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.011 sept 2026 · métricas 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.
MIT22 oct 2026 · métricas 2.10.0