Todas las etiquetas
Etiqueta del catálogo

#formal-verification

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

9 registros
Con la etiqueta «formal-verification»Ordenado por índice de salud
crates.io
78Buenoíndice de salud
cryspen/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 247↓ 636.8K/mes17 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
crates.io
75Buenoíndice de salud
celabshq/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 24717 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
—
69Moderadoíndice de salud
juliareach/lazysets.jl
Scalable symbolic-numeric set computations in Julia
Julia★ 25918 jul 2026
Licencia propia18 jul 2026 · métricas 1.13.0
npm · crates.io
67Moderadoíndice de salud
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↓ 3199/mes22 jul 2026
Apache-2.022 jul 2026 · métricas 1.13.0
npm
65Moderadoíndice de salud
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/mes15 jul 2026
Apache-2.015 jul 2026 · métricas 1.13.0
PyPI
60Moderadoíndice de salud
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5215/mes19 jul 2026
MIT19 jul 2026 · métricas 1.13.0
—
60Moderadoíndice de salud
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 50419 jul 2026
Licencia propia19 jul 2026 · métricas 1.13.0
crates.io
59Moderadoíndice de salud
fabracht/tla-rs
El repositorio no publica descripción.
Rust★ 61↓ 336/mes15 jul 2026
Sin licencia15 jul 2026 · métricas 1.13.0
Go
46En riesgoíndice de salud
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 jul 2026
MIT17 jul 2026 · métricas 1.13.0