Todas las etiquetas
Etiqueta del catálogo

#wcet

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.

1 registro
Con la etiqueta «wcet»Ordenado por índice de salud
npm · crates.io
67Moderadoí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 1.13.0