All tags
Catalogue tag

#formal-verification

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

9 records
Tagged “formal-verification”Ranked by health index
crates.io
78Goodhealth index
cryspen/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 247↓ 636.8K/moJul 17, 2026
Apache-2.0Jul 17, 2026 · metrics 1.13.0
crates.io
75Goodhealth index
celabshq/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 247Jul 17, 2026
Apache-2.0Jul 17, 2026 · metrics 1.13.0
—
69Moderatehealth index
juliareach/lazysets.jl
Scalable symbolic-numeric set computations in Julia
Julia★ 259Jul 18, 2026
Custom licenseJul 18, 2026 · metrics 1.13.0
npm · crates.io
67Moderatehealth index
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/moJul 22, 2026
Apache-2.0Jul 22, 2026 · metrics 1.13.0
npm
65Moderatehealth index
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/moJul 15, 2026
Apache-2.0Jul 15, 2026 · metrics 1.13.0
PyPI
60Moderatehealth index
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5,215/moJul 19, 2026
MITJul 19, 2026 · metrics 1.13.0
—
60Moderatehealth index
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 504Jul 19, 2026
Custom licenseJul 19, 2026 · metrics 1.13.0
crates.io
59Moderatehealth index
fabracht/tla-rs
No repository description published.
Rust★ 61↓ 336/moJul 15, 2026
No licenseJul 15, 2026 · metrics 1.13.0
Go
46At riskhealth index
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
Go★ 0Jul 17, 2026
MITJul 17, 2026 · metrics 1.13.0