{"os":["darwin","linux"],"bin":{"synth":"run.js"},"cpu":["x64","arm64"],"bugs":{"url":"https://github.com/pulseengine/synth/issues"},"dist":{"shasum":"3208a6bd5d693984548a5f14a65abb90d0088e36","tarball":"https://registry.npmjs.org/@pulseengine/synth/-/synth-0.69.0.tgz","fileCount":6,"integrity":"sha512-AJaWpo8JPI2lMNsAvtzAGTMAWVGwYHpCn/2UNCFWJBprLwebYB0c3BwwlavWRs0k57qVafXYebq4nw0fjUDOgQ==","signatures":[{"sig":"MEYCIQDb6NQV3niAcbxvze/i8r1Ggh0/ctAqquQj4Ic0onKpjAIhANwWKIKu+GOsvkpioEUBlYw1Ipt9ZL7BEmYpCNglwScu","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEQCIGYRgjxywIZpFyZX+owI4yqBfwsJmMTWUJ01c71IiNrvAiB0E3gyxyvJPJDR3mGPonUcF636DBrfVBZEla/tE6X1iw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":16137},"name":"@pulseengine/synth","author":{"name":"PulseEngine","email":"https://github.com/pulseengine"},"engines":{"node":">=18"},"gitHead":"de049f24a7e0b068ef187fd591fb998903fb73d9","license":"Apache-2.0","scripts":{"test":"node --test","postinstall":"node install.js","preuninstall":"node uninstall.js"},"_npmUser":{"name":"avrabe","email":"ralf_beier@me.com"},"homepage":"https://github.com/pulseengine/synth#readme","keywords":["webassembly","wasm","compiler","arm","cortex-m","riscv","aarch64","embedded","bare-metal","verified","rocq","coq","rust","cli"],"repository":{"url":"git+https://github.com/pulseengine/synth.git","type":"git"},"_npmVersion":"10.8.2","description":"synth — a WebAssembly-to-ARM/RISC-V/AArch64 compiler with mechanized correctness proofs. Produces bare-metal ELF binaries for embedded targets.","directories":{},"maintainers":[{"name":"avrabe","email":"ralf_beier@me.com"}],"_nodeVersion":"20.20.2","publishConfig":{"access":"public"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/synth_0.69.0_1789754301727_0.02305246715027187","host":"s3://npm-registry-packages-npm-production"},"_id":"@pulseengine/synth@0.69.0","version":"0.69.0"}