Open source. Open possibilities.

A curated list of embedded programming resources covering MCU platforms, bare-metal development, RTOS, Linux kernel and driver work, toolchains, and learning materials.

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.

jetson-inference is a C++ and Python deep-vision library for NVIDIA Jetson. It uses TensorRT for on-device inference and PyTorch for training, with examples, pre-trained models, and tutorials for classification, detection, segmentation, pose, action, depth, and camera streaming.

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.

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.

ESPectre turns supported ESP32 boards into local Wi-Fi CSI motion sensors, with ready-to-flash firmware, Home Assistant/MQTT/Matter integrations, browser tools, a CLI, and an embeddable C++ SDK.

TartLab is a lightweight, browser-based MicroPython IDE served directly by embedded devices. Designed for classrooms, it eliminates desktop IDE installations. Features include syntax highlighting, REPL console, Wi-Fi configuration, and browser-driven updates. Currently alpha, qualified for LilyGO T-Display-S3 Pro with legacy and modern firmware profiles.

raylib is a simple, easy-to-use C library for videogame programming, ideal for prototyping, education, and graphical applications.

Embassy is a modern embedded framework using Rust and async, offering safe, efficient multitasking with HALs for various microcontrollers, time, networking, Bluetooth, USB, and more.

CloudPath is a self-hosted IoT control platform consisting of a central server and gateways. The server manages desired states, tenants, and auditing, while gateways handle device observation and autonomous operation during outages. It uses Go, React, and SQLite, featuring a plugin-based driver system, RBAC, and multi-gateway support under the MIT license.

ClickHouse is an open-source, column-oriented database management system designed for real-time analytical data reporting.