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

Reach

Downloads
4.0k
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 128