@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.
View on Github
Activity
- Latest release
- 1mo ago
- Total releases
- 39
- Cadence
- ~daily
- Last 12 months
- 39
Reach
- Downloads (recent)
- 688
- Stars
- 3
Details
- License
- Apache-2.0
- First release
- Jul 10, 2026
Releases
| Version | Released | |
|---|---|---|
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
| ||
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
initial
|