Catalogue tag

#wcet

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.

1 record

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