欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo Code Services
来自开放百科 - 灰狐
（版本间的差异）
小 |
|||
| （未显示1个用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
| − | Huihoo | + | 请访问：[[Huihoo Code]] |
| + | |||
| + | Huihoo Code Services is a public source code repository. | ||
可使用Huihoo Forge的Code Snippets完成此功能, 它由[[GForge]]提供, | 可使用Huihoo Forge的Code Snippets完成此功能, 它由[[GForge]]提供, | ||
2014年9月10日 (三) 09:26的最后版本
请访问：Huihoo Code
Huihoo Code Services is a public source code repository.
可使用Huihoo Forge的Code Snippets完成此功能, 它由GForge提供,
如 http://alioth.debian.org/snippet/ 的应用.
http://code.huihoo.com/p/mysql 提供代码研读和审核服务
[编辑] Links
<discussion>characters_max=300</discussion>
分享您的观点
