欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
第3行: | 第3行: | ||
<td> | <td> | ||
想象一下世界上的每一个人都可以自由使用的自由软件、开源软件知识库。这就是我们正在做的事!(源自[http://wikimediafoundation.org Wikimedia Foundation]宣言) | 想象一下世界上的每一个人都可以自由使用的自由软件、开源软件知识库。这就是我们正在做的事!(源自[http://wikimediafoundation.org Wikimedia Foundation]宣言) | ||
− | |||
− | |||
<br><br> | <br><br> | ||
[http://huihoo.com 灰狐主页] | [http://huihoo.org 开源项目] | [http://gnu.huihoo.org GNU文档] | [http://ldp.huihoo.org Linux文档] | [http://docs.huihoo.com 开源文档] | [http://blogs.huihoo.com 开源博客] | [http://site.huihoo.com 开源网址] | [http://download.huihoo.com 开源下载] | [http://huihoo.com 灰狐主页] | [http://huihoo.org 开源项目] | [http://gnu.huihoo.org GNU文档] | [http://ldp.huihoo.org Linux文档] | [http://docs.huihoo.com 开源文档] | [http://blogs.huihoo.com 开源博客] | [http://site.huihoo.com 开源网址] | [http://download.huihoo.com 开源下载] |
2010年9月25日 (六) 11:28的版本
想象一下世界上的每一个人都可以自由使用的自由软件、开源软件知识库。这就是我们正在做的事!(源自Wikimedia Foundation宣言)
|
欢迎大家 使用手册 - 练习编辑 - 参与维护 - 条目模板 - 已有7,156篇条目 - 所有分类 - 热门条目 - 待撰条目 - 新增图片 - 最新评论 |
开源许可协议 GNU GPL v2 - GNU LGPL v2.1 - GNU LGPL v3 - GNU FDL v1.2 - GNU FDL v1.3 - 许可协议讨论 |
开源、IT、互联网新闻: 新浪、腾讯、搜狐、网易、cnbeta
图标、图片库
468x60 Banners | 80x15 Buttons | 88x31 Buttons | 48x48 Logo | 90x90 Logo | 135x135 Logo | 其它尺寸的Icons | 墙纸 |
技术 | 社会 | 地点
韦诺之战之肖像 | 韦诺之战之攻击 | 单位: 龙族 | 矮人 | 精灵 | 地精 | 人类 | 人鱼 | 怪兽 | 兽人 | 蜥蜴人 | 巨魔 | 亡灵 | 森林精灵 | 树人
分享您的观点