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↓ 3,199/moJul 22, 2026

Apache-2.0Jul 22, 2026 · metrics 2.10.0

npm

62Moderatehealth index

midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

TypeScript★ 72↓ 4,607/moJul 25, 2026

MITJul 25, 2026 · metrics 2.10.0