rusty_rtos_port-cortex-m cargo 0.3.2 clean The Kairos Cortex-M port: critical sections, the yield, the tick, stack initialisation and the PendSV context switch. One of the two crates in the family… 59 3d ago synth-core cargo 0.81.0 clean Core types, error handling, and backend trait for the Synth compiler 6.0K 11h ago synth-cfg cargo 0.81.0 clean Control flow graph representation for the Synth compiler 5.1K 10h ago synth-opt cargo 0.81.0 clean Peephole optimization passes for the Synth compiler 4.8K 9h ago synth-synthesis cargo 0.81.0 clean WASM-to-ARM instruction selection and peephole optimizer 4.5K 10h ago synth-backend-riscv cargo 0.81.0 clean RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth 3.1K 6h ago synth-backend cargo 0.81.0 clean ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration 3.1K 6h ago synth-frontend cargo 0.81.0 clean WASM/WAT parser and module decoder frontend for the Synth compiler 3.0K 6h ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 8h ago synth-backend-awsm cargo 0.81.0 clean aWsm backend integration for the Synth compiler 2.6K 6h ago synth-backend-wasker cargo 0.81.0 clean Wasker backend integration for the Synth compiler 2.6K 6h ago synth-cli cargo 0.81.0 clean CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler 2.4K 5h ago synth-backend-aarch64 cargo 0.81.0 clean AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538) 1.6K 6h ago rusty_rtos_port cargo 0.3.2 clean The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only… 377 3d ago embedded-invsqrt-f32 cargo 0.1.0 clean Inverse de racine carrée f32 rapide pour no_std embarqué, testée sur Cortex-M33/M4F 7 2d ago 