Catalogue tag

#coq

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.

6 records

Tagged “coq”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

—

71Goodhealth index