Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.013 ago 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.
81 registros
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause13 ago 2026 · métricas 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Licencia propia13 ago 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 propia11 ago 2026 · métricas 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT21 jul 2026 · métricas 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.018 jul 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.04 ago 2026 · métricas 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Licencia propia28 jul 2026 · métricas 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT22 ago 2026 · métricas 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.127 jul 2026 · métricas 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.021 ago 2026 · métricas 2.10.0
npm
bsv-blockchain/ts-stack
El repositorio no publica descripción.
Licencia propia6 sept 2026 · métricas 2.10.0
—
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
BSD-3-Clause19 jul 2026 · métricas 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.018 jul 2026 · métricas 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 · métricas 2.10.0
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.06 sept 2026 · métricas 2.10.0
crates.io · PyPI · npm +1
Phala-Network/dcap-qvl
El repositorio no publica descripción.
MIT23 jul 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.
MIT6 sept 2026 · métricas 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
MIT21 jul 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.
MIT28 jul 2026 · métricas 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.020 ago 2026 · métricas 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.08 ago 2026 · métricas 2.10.0
npm
hypequery/hypequery
hypequery - The TypeScript semantic layer for ClickHouse
Licencia propia22 ago 2026 · métricas 2.10.0
PyPI
linkchecker/linkchecker
check links in web documents or full websites
GPL-2.030 jul 2026 · métricas 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.015 jul 2026 · métricas 2.10.0
crates.io · npm
hypothesi/mcp-server-tauri
A Model Context Protocol (MCP) server and plugin for Tauri v2 development
MIT2 sept 2026 · métricas 2.10.0
NuGet
soenneker/soenneker.sendgrid.validation
A .NET typesafe implementation of SendGrid's Validation API
MIT6 sept 2026 · métricas 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.016 ago 2026 · métricas 2.10.0
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.021 jul 2026 · métricas 2.10.0
npm
neus/network
The trust layer for people and AI. Portable identity, context, and authorization that travels.
Licencia propia21 jul 2026 · métricas 2.10.0