欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenGuard
来自开放百科 - 灰狐
OpenGuard，开源卫士，一个基于金山卫士开源计划和其它开源计划的安全项目，我们意在打造一个开放、跨平台、支持手机的安全解决方案。
目录 |
Windows版
Mac版
Android版
Android开源卫士
iPhone版
iPhone开源卫士
计划
- 先编译、打包、分发开源卫士
- 整合 ClamAV 病毒引擎
- 基于 Qt 或 GTK+ 重构系统，让其跨平台，为进入 Mac、Linux 平台做准备
- 开始考虑未来对手机的支持，如 Android、iPhone
Logo参考
个人比较倾向戴墨镜的机器人和穿马甲的狗狗
项目组
链接
<discussion>characters_max=300</discussion>
分享您的观点
