全部标签
目录标签

#proof

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

14 条记录
标签为“proof”按健康指数排序
crates.io
98卓越健康指数
zama-ai/tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
Rust · Assembly · Cuda★ 1,675↓ 165.5K/月2026年10月21日
自定义许可证2026年10月21日 · 指标 2.10.0
crates.io
93卓越健康指数
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
Rust★ 1,844↓ 33.5K/月2026年9月14日
LGPL-2.12026年9月14日 · 指标 2.10.0
npm
86优秀健康指数
eyereasoner/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
TypeScript · JavaScript★ 71↓ 6,962/月2026年9月10日
MIT2026年9月10日 · 指标 2.10.0
crates.io
81优秀健康指数
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★ 53↓ 367.8K/月2026年9月13日
MIT2026年9月13日 · 指标 2.10.0
crates.io · npm · Go
78良好健康指数
trustoverip/dtgwg-trust-tasks-tf
Trust Tasks - Transport Agnostic protocol for managing Tasks
Rust · Dart · TypeScript★ 5↓ 82.3K/月2026年10月20日
自定义许可证2026年10月20日 · 指标 2.10.0
PyPI · crates.io
71良好健康指数
corpus-core/colibri-stateless
the c4 monorepo
C · JavaScript · HTML★ 32↓ 1,117/月2026年10月19日
MIT2026年10月19日 · 指标 2.10.0
npm
69良好健康指数
reclaimprotocol/reclaim-js-sdk
JavaScript SDK for easy integration of Reclaim Protocol that enables authenticated web data export via HTTPS and zero-knowledge proofs
TypeScript★ 38↓ 27.8K/月2026年10月20日
无许可证2026年10月20日 · 指标 2.10.0
—
65良好健康指数
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 5082026年9月11日
自定义许可证2026年9月11日 · 指标 2.10.0
crates.io
62中等健康指数
camshaft/bolero
property testing and verification front-end for Rust
C · C++ · Rust★ 256↓ 3.2M/月2026年8月27日
MIT2026年8月27日 · 指标 2.10.0
npm
54中等健康指数
validpilot/ai-verify-mcp
该仓库未发布描述。
JavaScript★ 0↓ 437/月2026年9月15日
MIT2026年9月15日 · 指标 2.10.0
PyPI
51中等健康指数
jtraverso/certo-math
Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it to what it really is, assemble the rest. certo does that work, and every step returns a certificate anyone can re-check without trusting it. CLI + MCP.
Python★ 1↓ 3,089/月2026年10月9日
MIT2026年10月9日 · 指标 2.10.0
PyPI
47薄弱健康指数
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↓ 1,266/月2026年9月9日
MIT2026年9月9日 · 指标 2.10.0
npm
39薄弱健康指数
Strixgov/strix
该仓库未发布描述。
JavaScript · TypeScript★ 0↓ 29.7K/月2026年9月15日
MIT2026年9月15日 · 指标 2.10.0
npm
30存在风险健康指数
indutny/proof-of-work
Proof of Work with SHA256 and Bloom filter
JavaScript★ 133↓ 9,565/月2026年10月18日
无许可证2026年10月18日 · 指标 2.10.0