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.

2 records

Tagged “coq”Ranked by health index

npm · crates.io

67Moderatehealth 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 1.13.0

—

60Moderatehealth index

PrincetonUniversity/VST

Verified Software Toolchain

Rocq Prover★ 504Jul 19, 2026

Custom licenseJul 19, 2026 · metrics 1.13.0