欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo Desktop Team
来自开放百科 - 灰狐
灰狐桌面组，我们理解的桌面是以浏览器为基础的用户界面。
发展策略: 以浏览器为基础, 其他客户端功能以插件的方式安装到浏览器上.
- 开放浏览器 http://obrowser.org/
- 开放媒体播放器 http://openmpc.org
- 开放即时通信 http://open-im.org
- 开放下载管理器 http://opendownloadmanager.org
努力打造一支实力很强的浏览器开发团队。
组成员：Allen
<discussion>characters_max=300</discussion>
分享您的观点
