欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Jinshan
来自开放百科 - 灰狐
12月1日,金山网络高调启动金山卫士开源计划,宣布将金山卫士全面开源,任何第三方的厂商或者个人均可自由下载和使用金山卫士源代码,不限制开源后的代码进行商业性的使用。这是国内首个安全软件开源,从此以后,任何厂商和个人均可拥有属于自己的安全软件,同时也能分享自己的开发成果,加入到反病毒的事业中来。
开源项目
- PrivacyProtection 隐私保护器
- BackdoorSafeVul 漏洞扫描器
- SystemOptimizer 系统优化开机加速
链接
<discussion>characters_max=300</discussion>
分享您的观点