编译器的写作之旅
经CompCert正式验证的C语言编译器
CLAW编译器的性能可移植性
用于结构搜索和替换的代码重写工具，支持～种语言。
一个用于编程工具的增量解析系统
Kotlin/Native基础设施
友好的PIL分叉（Python成像库）。
一个现代的、可移植的、易于使用的密码库。
RobotGo，Go Native跨平台GUI自动化 @vcaesar
嵌入式固件控制系统工具箱（纯C和GNU Octave）
EDK II