1. dde-dock-mpd(地址):在dde-dock上控制MPD音乐服务器,可以视作是一个gui版本的弱化MPD客户端,不再维护
  2. l2cdisplay(地址):为经过形式化验证的编译器l2c开发的拓展显示模块。将xml规定的图形界面布局编译为C语言,暂缓开发。
  3. certicore(地址):清华大学教学操作系统ucore的形式化验证尝试。最终验证了lab1~lab2的内容。应该是世界上第一个自动化验证的页面分配器。