Open source. Open possibilities.

Takibi is a research systems language and a Linux-ABI-compatible monolithic kernel designed to shift kernel runtime failures to compile-time errors using refinement types and affine ownership.

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.

Open-source disassembly framework written in pure C, supporting 20+ architectures including x86, ARM, AArch64, RISC-V, MIPS and PowerPC, with a clean architecture-neutral API, multi-language bindings, and detailed instruction semantics for binary analysis and reverse engineering.

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.

A "zero setup" tool for cross-compiling and cross-testing Rust crates using Docker or Podman.