Etiqueta del catálogo

#coq

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

4 registros

Con la etiqueta «coq»Ordenado por índice de salud

npm · crates.io

81Excelenteíndice de salud

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↓ 3199/mes22 jul 2026

Apache-2.022 jul 2026 · métricas 2.10.0

—

71Buenoíndice de salud