proof — 开源软件健康 — inspect.software

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,652↓ 126.2K/月2026年9月5日

自定义许可证2026年9月5日 · 指标 2.10.0

crates.io

89优秀健康指数

creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

Rust★ 1,812↓ 13.3K/月2026年7月27日

LGPL-2.12026年7月27日 · 指标 2.10.0

npm

84优秀健康指数

eyereasoner/eye-js

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

TypeScript · JavaScript★ 69↓ 6,382/月2026年7月17日

MIT2026年7月17日 · 指标 2.10.0

npm

77良好健康指数

neus/network

The trust layer for people and AI. Portable identity, context, and authorization that travels.

JavaScript · Solidity★ 25↓ 2,025/月2026年7月21日

自定义许可证2026年7月21日 · 指标 2.10.0

crates.io

71良好健康指数

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/月2026年7月23日

MIT2026年7月23日 · 指标 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★ 37↓ 18.9K/月2026年8月22日

无许可证2026年8月22日 · 指标 2.10.0

crates.io · npm · PyPI

67良好健康指数

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/月2026年7月19日

Apache-2.02026年7月19日 · 指标 2.10.0

PyPI · crates.io

67良好健康指数