欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
{{top news}} | {{top news}} | ||
| − | < | + | <!-- 顶栏开始 --> |
| − | < | + | {| style="width: 100%; background-color: #b2b2b2; -moz-border-radius: 10px; -webkit-border-radius: 10px; border-radius:10px; table-layout: fixed;" |
| − | < | + | |- |
| − | + | | style="background-color: #fff; -moz-border-radius: 10px; -webkit-border-radius: 10px; border-radius:10px; padding: 10px 0; width: 61.8%; text-align: center;" | | |
| − | < | + | <div style="font-size:95%;">'''彼此信任，协作分享'''</div> |
| − | [ | + | <div style="margin-top: .2em; font-size: 200%;">'''[[Open Source Wiki|开源百科]]'''</div> |
| − | </ | + | <div style="margin-top: .5em; font-size: 95%;">人人可参与的自由协作计划</div> |
| − | </ | + | <div id="articlecount" style="width: 100%; font-size: 85%;">已有[[Special:Allpages|<span style="color: green; font-size: 120%;">'''{{NUMBEROFARTICLES}}'''</span>]]篇条目</div> |
| − | < | + | | |
| − | < | + | | style="width: 10em; font-size: 90%;" | |
| − | + | <ul style="list-style: none outside none;"> | |
| − | </ | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[help:编辑|<span style="color: #fff; font-weight: bold;">使用手册</span>]]</li> |
| − | </ | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[沙盒|<span style="color: #fff; font-weight: bold;">练习编辑</span>]]</li> |
| − | < | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[参与维护|<span style="color: #fff; font-weight: bold;">参与维护</span>]]</li> |
| + | <li>[[File:HILLGRY listitem.png|link=|·]] [[条目模板|<span style="color: #fff; font-weight: bold;">条目模板</span>]]</li> | ||
| + | </ul> | ||
| + | | style="width: 12.5em; font-size: 90%; color: #ffffff;" class="plainlinks" | | ||
| + | <ul style="list-style: none outside none;"> | ||
| + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Categories|<span style="color: #fff; font-weight: bold;">所有分类</span>]]</li> | ||
| + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: #fff; font-weight: bold;">热门条目</span>]]</li> | ||
| + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Wantedpages|<span style="color: #fff; font-weight: bold;">待撰条目</span>]]</li> | ||
| + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:RecentComments|<span style="color: #fff; font-weight: bold;">最新评论</span>]]</li> | ||
| + | </ul> | ||
| + | |}<!-- 顶栏结束 --> | ||
自由、开源、IT、互联网'''[[News|新闻]]''': [[News/sina|新浪]]、[[News/qq|腾讯]]、[[News/sohu|搜狐]]、[[News/163|网易]]、[[News/cnbeta|cnbeta]] '''[[Blogs|博客]]''': [[Blogs/codingnow|云风]]、[[Blogs/dbanotes|DBA Notes]]、[[Blogs/s135|回忆未来[张宴]]]、[[Blogs/yuanyifeng|阮一峰的网络日志]]、[[Blogs/7yue|7yue]]、[[Blogs/isky000|简朝阳]]、[[Blogs/xiqiao|西乔的九卦]] | 自由、开源、IT、互联网'''[[News|新闻]]''': [[News/sina|新浪]]、[[News/qq|腾讯]]、[[News/sohu|搜狐]]、[[News/163|网易]]、[[News/cnbeta|cnbeta]] '''[[Blogs|博客]]''': [[Blogs/codingnow|云风]]、[[Blogs/dbanotes|DBA Notes]]、[[Blogs/s135|回忆未来[张宴]]]、[[Blogs/yuanyifeng|阮一峰的网络日志]]、[[Blogs/7yue|7yue]]、[[Blogs/isky000|简朝阳]]、[[Blogs/xiqiao|西乔的九卦]] | ||
2010年9月27日 (一) 02:57的版本
|
彼此信任，协作分享
人人可参与的自由协作计划
已有7,156篇条目
|
自由、开源、IT、互联网新闻: 新浪、腾讯、搜狐、网易、cnbeta 博客: 云风、DBA Notes、回忆未来[张宴]、阮一峰的网络日志、7yue、简朝阳、西乔的九卦
开源许可协议 GNU GPL v2 - GNU LGPL v2.1 - GNU LGPL v3 - GNU FDL v1.2 - GNU FDL v1.3 - 许可协议讨论
图标、图片库
Faenza图标集 | 468x60 Banners | 80x15 Buttons | 88x31 Buttons | 48x48 Logo | 90x90 Logo | 135x135 Logo | 其它尺寸的Icons | 墙纸 |
技术 | 社会 | 地点
韦诺之战之肖像 | 韦诺之战之攻击 | 单位: 龙族 | 矮人 | 精灵 | 地精 | 人类 | 人鱼 | 怪兽 | 兽人 | 蜥蜴人 | 巨魔 | 亡灵 | 森林精灵 | 树人
- 本周推荐: Nexuiz - 开源射击游戏
分享您的观点
