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.

6 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↓ 2014/mes13 sept 2026

Apache-2.013 sept 2026 · métricas 2.10.0

—

71Buenoíndice de salud