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

#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/міс27 лип. 2026 р.
LGPL-2.127 лип. 2026 р. · метрики 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/міс28 лип. 2026 р.
MIT28 лип. 2026 р. · метрики 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 62020 серп. 2026 р.
Apache-2.020 серп. 2026 р. · метрики 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/міс23 лип. 2026 р.
MIT23 лип. 2026 р. · метрики 2.10.0
—
65Добрийіндекс здоров'я
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 50419 лип. 2026 р.
Власна ліцензія19 лип. 2026 р. · метрики 2.10.0
npm
62Помірнийіндекс здоров'я
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
TypeScript★ 72↓ 4 607/міс25 лип. 2026 р.
MIT25 лип. 2026 р. · метрики 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/міс16 лип. 2026 р.
MIT16 лип. 2026 р. · метрики 2.10.0