Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.013. Aug. 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.
81 Einträge
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause13. Aug. 2026 · Metriken 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Eigene Lizenz13. Aug. 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 Lizenz11. Aug. 2026 · Metriken 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT21. Juli 2026 · Metriken 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.018. Juli 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.04. Aug. 2026 · Metriken 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Eigene Lizenz28. Juli 2026 · Metriken 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT22. Aug. 2026 · Metriken 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.127. Juli 2026 · Metriken 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.021. Aug. 2026 · Metriken 2.10.0
npm
bsv-blockchain/ts-stack
Keine Repository-Beschreibung veröffentlicht.
Eigene Lizenz6. Sept. 2026 · Metriken 2.10.0
—
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
BSD-3-Clause19. Juli 2026 · Metriken 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.018. Juli 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
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.06. Sept. 2026 · Metriken 2.10.0
crates.io · PyPI · npm +1
Phala-Network/dcap-qvl
Keine Repository-Beschreibung veröffentlicht.
MIT23. Juli 2026 · Metriken 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 · 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
MIT21. Juli 2026 · Metriken 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MIT28. Juli 2026 · Metriken 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. Aug. 2026 · Metriken 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. Aug. 2026 · Metriken 2.10.0
npm
hypequery/hypequery
hypequery - The TypeScript semantic layer for ClickHouse
Eigene Lizenz22. Aug. 2026 · Metriken 2.10.0
PyPI
linkchecker/linkchecker
check links in web documents or full websites
GPL-2.030. Juli 2026 · Metriken 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.015. Juli 2026 · Metriken 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 · Metriken 2.10.0
NuGet
soenneker/soenneker.sendgrid.validation
A .NET typesafe implementation of SendGrid's Validation API
MIT6. Sept. 2026 · Metriken 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. Aug. 2026 · Metriken 2.10.0
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.021. Juli 2026 · Metriken 2.10.0
npm
neus/network
The trust layer for people and AI. Portable identity, context, and authorization that travels.
Eigene Lizenz21. Juli 2026 · Metriken 2.10.0