mbeddr核心。一个可扩展的C
基于RIOT、NimBLE和LittleVGL的PineTime的固件
FASTEN。FormAl SpecificaTion ENvironment - 一套DSL，用于实验严格的系统和安全工程。
一个简单易行的图书馆，享受电子游戏的编程。
一个现代的、可移植的、易于使用的密码库。
Pycopy - 一种极简的、内存效率高的Python方言。适用于桌面、云端、受限系统、微控制器，以及一切。
超轻量级的Python引擎，可以用4KB的RAM和32KB的Flash运行（如STM32G030C8和STM32F103C8），并且非常容...
用于嵌入式系统的开源跨平台USB协议栈
友好的PIL分叉（Python成像库）。
嵌入式固件开发、仿真和验证SDK
嵌入式固件控制系统工具箱（纯C和GNU Octave）