Усі теги
Тег каталогу

#proof

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

6 записів
З тегом «proof»Упорядковано за індексом здоров'я
npm
71Добрийіндекс здоров'я
eyereasoner/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
TypeScript · JavaScript★ 69↓ 6 382/міс17 лип. 2026 р.
MIT17 лип. 2026 р. · метрики 1.13.0
npm
65Помірнийіндекс здоров'я
neus/network
The trust layer for people and AI. Portable identity, context, and authorization that travels.
JavaScript · Solidity★ 25↓ 2 025/міс21 лип. 2026 р.
Власна ліцензія21 лип. 2026 р. · метрики 1.13.0
crates.io
61Помірнийіндекс здоров'я
aretta-ai/aristo
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
Rust★ 32↓ 68K/міс23 лип. 2026 р.
MIT23 лип. 2026 р. · метрики 1.13.0
crates.io · npm · PyPI
61Помірнийіндекс здоров'я
cool-japan/oxiz
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
Rust★ 49↓ 9 818/міс19 лип. 2026 р.
Apache-2.019 лип. 2026 р. · метрики 1.13.0
—
60Помірнийіндекс здоров'я
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 50419 лип. 2026 р.
Власна ліцензія19 лип. 2026 р. · метрики 1.13.0
PyPI
49У зоні ризикуіндекс здоров'я
CharlesCNorton/touchstone
An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
Python★ 8↓ 32K/міс16 лип. 2026 р.
MIT16 лип. 2026 р. · метрики 1.13.0