目录标签

#formal-methods

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

7 条记录

标签为“formal-methods”按健康指数排序

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

crates.io

83优秀健康指数

assura-lang/assura

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust★ 3↓ 2,393/月2026年7月28日

MIT2026年7月28日 · 指标 2.10.0

crates.io · npm

83优秀健康指数

quint-co/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript · Rust · Quint★ 1,6202026年8月20日

Apache-2.02026年8月20日 · 指标 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

—

65良好健康指数

PrincetonUniversity/VST

Verified Software Toolchain

Rocq Prover★ 5042026年7月19日

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

npm

62中等健康指数

midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

TypeScript★ 72↓ 4,607/月2026年7月25日

MIT2026年7月25日 · 指标 2.10.0

PyPI

48薄弱健康指数

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

MIT2026年7月16日 · 指标 2.10.0