Alle Tags
Katalog-Tag

#formal-verification

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

9 Einträge
Getaggt als „formal-verification“Geordnet nach Gesundheitsindex
crates.io
78GutGesundheitsindex
cryspen/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 247↓ 636.8K/Monat17. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
crates.io
75GutGesundheitsindex
celabshq/libcrux
The formally verified crypto library for Rust
C · Rust · Assembly★ 24717. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
—
69MittelGesundheitsindex
juliareach/lazysets.jl
Scalable symbolic-numeric set computations in Julia
Julia★ 25918. Juli 2026
Eigene Lizenz18. Juli 2026 · Metriken 1.13.0
npm · crates.io
67MittelGesundheitsindex
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/Monat22. Juli 2026
Apache-2.022. Juli 2026 · Metriken 1.13.0
npm
65MittelGesundheitsindex
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/Monat15. Juli 2026
Apache-2.015. Juli 2026 · Metriken 1.13.0
PyPI
60MittelGesundheitsindex
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5.215/Monat19. Juli 2026
MIT19. Juli 2026 · Metriken 1.13.0
—
60MittelGesundheitsindex
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 50419. Juli 2026
Eigene Lizenz19. Juli 2026 · Metriken 1.13.0
crates.io
59MittelGesundheitsindex
fabracht/tla-rs
Keine Repository-Beschreibung veröffentlicht.
Rust★ 61↓ 336/Monat15. Juli 2026
Keine Lizenz15. Juli 2026 · Metriken 1.13.0
Go
46GefährdetGesundheitsindex
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. Juli 2026
MIT17. Juli 2026 · Metriken 1.13.0