Catalogue tag

#verified

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.

2 records

Tagged “verified”Ranked by health index

npm · crates.io

81Excellenthealth 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↓ 2,014/moSep 13, 2026

Apache-2.0Sep 13, 2026 · metrics 2.10.0

npm

62Moderatehealth index

midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

TypeScript★ 95↓ 8,230/moSep 13, 2026

MITSep 13, 2026 · metrics 2.10.0