Тег каталогу

#verified

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

2 записи

З тегом «verified»Упорядковано за індексом здоров'я

npm · crates.io

81Відміннийіндекс здоров'я

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/міс22 лип. 2026 р.

Apache-2.022 лип. 2026 р. · метрики 2.10.0

npm

62Помірнийіндекс здоров'я

midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

TypeScript★ 72↓ 4 607/міс25 лип. 2026 р.

MIT25 лип. 2026 р. · метрики 2.10.0