请灰狐喝杯啤酒🍺 我们准备了下酒菜:API, Identity, Security and C++, Formal verification
Mezzano
Mezzano:一个 Common Lisp 编写的操作系统。