好开源，值得被发现。

PlatformIO Core 是一个开源的嵌入式软件开发命令行工具链，提供多平台构建系统、库管理、调试、单元测试和静态代码分析功能，适用于微控制器项目。

Synth 是一款将 WebAssembly 编译为 ARM Cortex-M/R、RISC-V RV32IMAC 及 AArch64 原生二进制文件的 AOT 编译器。它通过 Rocq 机械化证明和 SMT 翻译验证确保正确性，专注于嵌入式场景，采用 Apache-2.0 协议。

ESPectre 将支持的 ESP32 开发板转变为本地 Wi-Fi CSI 运动传感器，提供即刷固件、Home Assistant/MQTT/Matter 集成、浏览器工具、命令行界面及可嵌入的 C++ SDK。

TartLab 是一款轻量级的基于浏览器的 MicroPython IDE，由嵌入式设备直接提供服务。它专为课堂设计，无需安装桌面 IDE。功能包括语法高亮、REPL 控制台、Wi-Fi 配置和浏览器驱动的更新。目前处于 alpha 阶段，适用于配备旧版和现代固件配置文件的 LilyGO T-Display-S3 Pro。

raylib 是一个简单易用的 C 语言库，专为视频游戏编程而设计，非常适合用于原型开发、教育以及图形应用程序。

Embassy 是一个使用 Rust 和异步特性的现代嵌入式框架，提供安全、高效的多任务处理，并支持多种微控制器的 HAL、时间、网络、蓝牙、USB 等功能。

CloudPath（云径）是一个自托管的物联网控制平台，由中心服务与网关两部分组成：中心服务掌握期望态、租户与审计，网关掌握设备观测态并可在断网时自治运行，设备通过插件驱动的适配器接入，浏览器端可查看状态并远程下发操作。项目用 Go 编写、前端为 React，数据存于 SQLite，提供单二进制部署、账号与 RBAC、租户令牌、多网关接入以及 systemd 与 nginx 部署物料，采用 MIT 许可。

ClickHouse 是一款开源的列式数据库管理系统，旨在实现实时分析数据的报告生成。

一份精选的嵌入式编程资源列表，涵盖MCU平台、裸机开发、RTOS、Linux内核与驱动开发、工具链及学习资料。

Takibi 是一个研究性系统语言及其配套的 Linux-ABI 兼容单体内核。该项目旨在通过精化类型（refinement types）和仿射所有权（affine ownership），将内核运行时的故障转化为编译时错误，从而提升系统稳定性。

jetson-inference 是面向 NVIDIA Jetson 的 C++ 和 Python 深度视觉库。它使用 TensorRT 进行设备端推理，使用 PyTorch 进行训练，并提供分类、检测、分割、姿态、动作、深度和摄像头流媒体的示例、预训练模型和教程。