Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.0Aug 13, 2026 · metrics 2.10.0
All tags
Catalogue tag
#verification
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
81 records
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-ClauseAug 13, 2026 · metrics 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Custom licenseAug 13, 2026 · metrics 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Custom licenseAug 11, 2026 · metrics 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MITJul 21, 2026 · metrics 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.0Jul 18, 2026 · metrics 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.0Aug 4, 2026 · metrics 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Custom licenseJul 28, 2026 · metrics 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MITAug 22, 2026 · metrics 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.1Jul 27, 2026 · metrics 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.0Aug 21, 2026 · metrics 2.10.0
npm
bsv-blockchain/ts-stack
No repository description published.
Custom licenseSep 6, 2026 · metrics 2.10.0
—
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
BSD-3-ClauseJul 19, 2026 · metrics 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.0Jul 18, 2026 · metrics 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.0Sep 5, 2026 · metrics 2.10.0
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.0Sep 6, 2026 · metrics 2.10.0
crates.io · PyPI · npm +1
Phala-Network/dcap-qvl
No repository description published.
MITJul 23, 2026 · metrics 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.
MITSep 6, 2026 · metrics 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
MITJul 21, 2026 · metrics 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MITJul 28, 2026 · metrics 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.0Aug 20, 2026 · metrics 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.0Aug 8, 2026 · metrics 2.10.0
npm
hypequery/hypequery
hypequery - The TypeScript semantic layer for ClickHouse
Custom licenseAug 22, 2026 · metrics 2.10.0
PyPI
linkchecker/linkchecker
check links in web documents or full websites
GPL-2.0Jul 30, 2026 · metrics 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.0Jul 15, 2026 · metrics 2.10.0
crates.io · npm
hypothesi/mcp-server-tauri
A Model Context Protocol (MCP) server and plugin for Tauri v2 development
MITSep 2, 2026 · metrics 2.10.0
NuGet
soenneker/soenneker.sendgrid.validation
A .NET typesafe implementation of SendGrid's Validation API
MITSep 6, 2026 · metrics 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.0Aug 16, 2026 · metrics 2.10.0
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.0Jul 21, 2026 · metrics 2.10.0
npm
neus/network
The trust layer for people and AI. Portable identity, context, and authorization that travels.
Custom licenseJul 21, 2026 · metrics 2.10.0