欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo Download Services
来自开放百科 - 灰狐
Huihoo Pack: 精选自由、开源软件和其他一些Freeware, 通过ODM快速下载和安装, 类似 Google Pack, Huihoo Pack 包含开源和非开源的Freeware. http://download.huihoo.com/pack/
其他非开源的freeware放在这里 http://download.huihoo.com/freeware, 如Adobe AIR, Google Desktop等。
这些软件强调的就是小巧、实用与高效.
分享您的观点
