PlatformIO Core is an open-source command-line toolchain for embedded software development, providing a multi-platform build system, library management, debugging, unit testing, and static code analysis for microcontroller projects.
Developer toolsAutomationBuild & DevOps
Synth 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.
Developer toolsBuild & DevOps
A "zero setup" tool for cross-compiling and cross-testing Rust crates using Docker or Podman.
Developer toolsBuild & DevOps