# 嵌入式

将可视化算法自动转换为可部署在微控制器上的 C 代码，帮助嵌入式开发者快速实现算法落地，降低硬件开发门槛

xiaozhi-esp32 是一个基于 MCP（Model Control Protocol）的轻量级聊天机器人框架，运行在 ESP32 芯片上，适合在边缘设备实现本地化 AI 对

为 reMarkable 2 手写板打造的原生 Clojure REPL，支持手写代码与即时执行，适合函数式编程爱好者和极客笔记用户

Modeloop 能将视觉算法自动转换为微控制器可用的 C 代码，专为嵌入式 AI 开发者设计，加速边缘设备模型部署。

TamgaOs 是为 Cortex-M7（STM32H753ZI）芯片打造的裸机实时操作系统，专为高性能嵌入式设备提供低延迟、高可靠性的系统支持。

PX4 Autopilot 是开源的飞行控制软件，用于无人机、机器人等自主飞行器，支持多旋翼、固定翼、垂直起降等多种平台，提供完整的导航、控制与传感器融合能力。

NASA 开发的飞行软件与嵌入式系统框架，用于构建高可靠、可验证的航天器控制软件。

BooksEZ 是嵌入式会计软件，专为 SaaS 平台提供开箱即用的财务功能，帮助 SaaS 企业快速实现收入追踪、发票生成与财务合规，适合产品团队与初创公司。

一款嵌入式4英寸自动裁切热敏票据打印机，专为零售、餐饮等场景设计，支持自动切纸与POS系统集成。

Pico 是一个极小的、可嵌入的脚本虚拟机，用 C 语言实现，专为资源受限环境设计，支持轻量级脚本执行，适合嵌入式系统、IoT 设备或需要内嵌脚本能力的 C 项目。

为 Rockbox 播放引擎、DSP 和元数据系统提供 FFI 绑定，让开发者能用 Rust 等语言调用 Rockbox 的音频处理能力，适合音频开发与嵌入式音频项目

紧凑型嵌入式热敏打印机，专为自助服务场景设计，支持Kiosk系统，适用于票务、挂号、自助点餐等场景，体积小、稳定性高。

PocketJS 用现代前端技术（Solid/Vue JSX + Tailwind）在 2004 年的 Sony PSP 上实现 60fps 流畅运行，是极致性能优化与跨时代兼容的

极致优化的硬件系统，每比特资源都高效利用，适合嵌入式开发与低功耗场景的开发者

基于ONNX Runtime的离线语音处理工具，支持语音识别、语音合成、说话人分离、语音增强等，适用于嵌入式设备与移动端。

基于 Rust 的现代嵌入式开发框架，采用异步编程模型，提升嵌入式系统开发的安全性与性能。

将现代 Linux 系统移植到十年旧的 QWERTY 键盘手机上，实现复古设备的系统级现代化，适合极简主义与硬件极客。

Fauvido Technologies 提供硬件仿真技术，让开发者能在虚拟环境中快速测试固件，显著缩短开发与调试周期

将 AI 分析能力嵌入任意产品，无需从零开发，快速实现智能洞察功能

Subrust 是一个无标准库、无堆分配的 Rust 子集解释器，专为嵌入式或资源受限环境设计，让开发者能在极简环境中运行安全的 Rust 代码。

一个可在微控制器上运行的16个控制参数的减法合成器，体积仅39KB可执行文件，支持Web演示，适合嵌入式音频开发与音乐创客

Empix 是一款专为 Arduino 设计的极简图形编辑工具，允许用户通过简单界面创建像素艺术并直接导出为代码，方便在 Arduino 项目中显示图像，适合创客和硬件开发者快速实

通过手机远程控制树莓派上的编程代理，只需扫码配对即可在异地与本地代理聊天交互，实现移动化开发管理。

基于 ESPHome 的智能家居控制面板，支持本地化、低功耗的智能设备集中管理，适合 DIY 智能家居爱好者。

用 Rust 编写的 M5StickC 项目，实现通过 Wi-Fi 远程控制空调，展示嵌入式开发的轻量与高效，适合物联网爱好者与硬件开发者。

一个本地可扩展的会话查看工具，专为 Raspberry Pi 和 Codex 设备设计，支持实时查看和调试设备会话，适合嵌入式开发者与硬件爱好者