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

#formal-verification

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

9 записів
З тегом «formal-verification»Упорядковано за індексом здоров'я
crates.io
78Добрийіндекс здоров'я
cryspen/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 247↓ 636.8K/міс17 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
crates.io
75Добрийіндекс здоров'я
celabshq/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 24717 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
—
69Помірнийіндекс здоров'я
juliareach/lazysets.jl
Scalable symbolic-numeric set computations in Julia
Julia★ 25918 лип. 2026 р.
Власна ліцензія18 лип. 2026 р. · метрики 1.13.0
npm · crates.io
67Помірнийіндекс здоров'я
pulseengine/synth
Synth — WebAssembly-to-native compiler for ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32, and AArch64, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of the PulseEngine toolchain.
Rust · Python★ 2↓ 3 199/міс22 лип. 2026 р.
Apache-2.022 лип. 2026 р. · метрики 1.13.0
npm
65Помірнийіндекс здоров'я
emiliaprotocol/emilia-protocol
Receipt Required for AI agents — no receipt, no irreversible action. An open, offline-verifiable authorization-receipt protocol: a named human signs the exact high-risk action (payment, deploy, delete, permissions) before it runs, and anyone can verify it later, trusting no one. Apache-2.0 · formally verified · IETF Internet-Drafts.
JavaScript★ 3↓ 934/міс15 лип. 2026 р.
Apache-2.015 лип. 2026 р. · метрики 1.13.0
PyPI
60Помірнийіндекс здоров'я
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5 215/міс19 лип. 2026 р.
MIT19 лип. 2026 р. · метрики 1.13.0
—
60Помірнийіндекс здоров'я
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 50419 лип. 2026 р.
Власна ліцензія19 лип. 2026 р. · метрики 1.13.0
crates.io
59Помірнийіндекс здоров'я
fabracht/tla-rs
Опис репозиторію не опубліковано.
Rust★ 61↓ 336/міс15 лип. 2026 р.
Без ліцензії15 лип. 2026 р. · метрики 1.13.0
Go
46У зоні ризикуіндекс здоров'я
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
Go★ 017 лип. 2026 р.
MIT17 лип. 2026 р. · метрики 1.13.0