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