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