Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.013 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#verification
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
81 запис
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause13 серп. 2026 р. · метрики 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Власна ліцензія13 серп. 2026 р. · метрики 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Власна ліцензія11 серп. 2026 р. · метрики 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MIT21 лип. 2026 р. · метрики 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.018 лип. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Власна ліцензія28 лип. 2026 р. · метрики 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MIT22 серп. 2026 р. · метрики 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.127 лип. 2026 р. · метрики 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.021 серп. 2026 р. · метрики 2.10.0
npm
bsv-blockchain/ts-stack
Опис репозиторію не опубліковано.
Власна ліцензія6 вер. 2026 р. · метрики 2.10.0
—
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
BSD-3-Clause19 лип. 2026 р. · метрики 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.018 лип. 2026 р. · метрики 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 вер. 2026 р. · метрики 2.10.0
npm
peacprotocol/peac
Portable signed records for automated interactions.
Apache-2.06 вер. 2026 р. · метрики 2.10.0
crates.io · PyPI · npm +1
Phala-Network/dcap-qvl
Опис репозиторію не опубліковано.
MIT23 лип. 2026 р. · метрики 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 вер. 2026 р. · метрики 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 лип. 2026 р. · метрики 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MIT28 лип. 2026 р. · метрики 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 серп. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
npm
hypequery/hypequery
hypequery - The TypeScript semantic layer for ClickHouse
Власна ліцензія22 серп. 2026 р. · метрики 2.10.0
PyPI
linkchecker/linkchecker
check links in web documents or full websites
GPL-2.030 лип. 2026 р. · метрики 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.015 лип. 2026 р. · метрики 2.10.0
crates.io · npm
hypothesi/mcp-server-tauri
A Model Context Protocol (MCP) server and plugin for Tauri v2 development
MIT2 вер. 2026 р. · метрики 2.10.0
NuGet
soenneker/soenneker.sendgrid.validation
A .NET typesafe implementation of SendGrid's Validation API
MIT6 вер. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.021 лип. 2026 р. · метрики 2.10.0
npm
neus/network
The trust layer for people and AI. Portable identity, context, and authorization that travels.
Власна ліцензія21 лип. 2026 р. · метрики 2.10.0