Sign in Sign up
cargo

synth-verify

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.

cargo View on Cargo github View on Github

Activity

Latest release
4d ago
Total releases
127
Cadence
~daily
Last 12 months
127

Reach

Downloads
2.4k
Stars
2

Details

License
Apache-2.0
First release
May 24, 2026
Releases
Version Released
0.66.0 minor
0.65.0 minor
0.64.0 minor
0.63.0 minor
0.62.0 minor
0.61.0 minor
0.60.0 minor
0.59.0 minor
0.58.0 minor
0.57.0 minor
0.56.2 patch
0.56.1 patch
0.56.0 minor
0.55.0 minor
0.54.0 minor
0.53.0 minor
0.52.0 minor
0.51.0 minor
0.50.1 patch
0.50.0 minor
0.49.0 minor
0.48.0 minor
0.47.0 minor
0.46.1 patch
0.46.0 minor
0.45.2 patch
0.45.1 patch
0.45.0 minor
0.44.0 minor
0.43.1 patch
0.43.0 minor
0.42.0 minor
0.41.0 minor
0.40.0 minor
0.39.1 patch
0.39.0 minor
0.38.0 minor
0.37.1 patch
0.37.0 minor
0.36.0 minor
0.35.0 minor
0.34.0 minor
0.33.1 patch
0.33.0 minor
0.32.1 patch
0.32.0 minor
0.31.0 minor
0.30.2 patch
0.30.1 patch
0.30.0 minor
1–50 of 127