欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo Code
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 |
||
| 第3行： | 第3行： | ||
teamhost.org 已是过去时，http://code.huihoo.com 现在进行时。 | teamhost.org 已是过去时，http://code.huihoo.com 现在进行时。 | ||
| + | ==历史== | ||
Teamhost.org 是为那些致力于开源项目的开发者服务的，一个公开的免费开源服务平台，提供类似于 Google Code 和 Github 的开源项目托管服务，并围绕社会化(SNS)为核心建立更加敏捷的互动平台服务。 | Teamhost.org 是为那些致力于开源项目的开发者服务的，一个公开的免费开源服务平台，提供类似于 Google Code 和 Github 的开源项目托管服务，并围绕社会化(SNS)为核心建立更加敏捷的互动平台服务。 | ||
2014年12月21日 (日) 09:32的版本
Huihoo Code 基于 GitLab 重新构建。
teamhost.org 已是过去时，http://code.huihoo.com 现在进行时。
历史
Teamhost.org 是为那些致力于开源项目的开发者服务的，一个公开的免费开源服务平台，提供类似于 Google Code 和 Github 的开源项目托管服务，并围绕社会化(SNS)为核心建立更加敏捷的互动平台服务。
图集
链接
分享您的观点
