欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐社区
来自开放百科 - 灰狐
社区/社交网络是快速迭代开发和长期坚持运营出来的。
灰狐现在的百科、博客、协作、[http://qa.huihoo.com 问答等服务基于PHP构建,灰狐社区也同样基于PHP构建。
路线图
- 评估 mahara(默认)、dolphin 等开源SNS软件,选择其一构建灰狐社区第一个版本。(2016.10.10)
- Huihoo 3.0
- Huihoo 2.0
图集
链接
分享您的观点