synthpulseengine
ADDEDSynth is an ahead-of-time WebAssembly-to-native compiler targeting ARM Cortex-M/R, RISC-V RV32IMAC and AArch64, with Rocq mechanized correctness proofs and SMT translation validation. Pre-release, embedded-focused, Apache-2.0.
OPEN SOURCE, OPEN TO EVERYONE
Open source. Open possibilities.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
✳Human-curated · Discover open source4109discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONTopic: pulseengine清除