#cortex-m

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Open source Python library for programming and debugging Arm Cortex-M microcontrollers

Low level access to Cortex-M processors

Target atsamd microcontrollers using Rust

CMSIS-DSP embedded compute library for Cortex-M and Cortex-A

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.