Sign in Sign up
cargo

synth-synthesis

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
6d ago
Total releases
150
Cadence
~daily
Last 12 months
150

Reach

Downloads
4.7k
Stars
3

Details

License
Apache-2.0
First release
May 24, 2026
Releases
Version Released
0.88.0 minor
0.87.0 minor
0.86.0 minor
0.85.0 minor
0.84.0 minor
0.83.0 minor
0.82.0 minor
0.81.0 minor
0.80.0 minor
0.79.0 minor
0.78.0 minor
0.77.0 minor
0.76.0 minor
0.75.0 minor
0.74.0 minor
0.73.0 minor
0.72.0 minor
0.71.0 minor
0.70.0 minor
0.69.0 minor
0.68.0 minor
0.67.0 minor
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
1–50 of 150