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