欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
（版本间的差异）
小 |
|||
| （未显示2个用户的987个中间版本） | |||
| 第1行： | 第1行： | ||
| − | < | + | <!-- 顶栏开始 --> |
| − | < | + | {| 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="margin-top: .2em; font-size: 200%;">'''[[灰狐会员]]'''</div> | |
| − | + | <div style="margin-top: .5em; font-size: 95%;">自由软件计算机科学、数学物理学的交流分享社群</div> | |
| − | </ | + | <div style="margin-top: .5em; font-size: 95%;">百科索引 https://github.com/huihoo/wiki</div> |
| − | < | + | <div id="articlecount" style="width: 100%; font-size: 85%;">已有[[Special:Allpages|<span style="color: green; font-size: 160%;">'''{{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: green; font-weight: bold;">所有分类</span>]]</li> | ||
| + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: green; 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> | ||
| + | |}<!-- 顶栏结束 --> | ||
| − | + | {{Category}} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | 许可协议 [[Mozilla Public License v2.0|MPL v2.0]] - [[GNU GPL v3]] - [[GNU GPL v2]] - [[GNU LGPL v2.1]] - [[GNU LGPL v3]] - [[GNU FDL v1.2]] - [[GNU FDL v1.3]] - [[CC-BY-SA 3.0]] - [[Talk:Licenses|许可协议讨论]] | |
| − | + | ||
| − | + | ||
| − | [[GNU]] | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | + | ||
| − | [[ | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | [[ | + | |
| − | + | ||
| − | + | ==图标、图片库== | |
| − | + | [[Faenza Icons|Faenza图标集]] | [[680x100 Banners]] | [[468x60 Banners]] | [[80x15 Buttons]] | [[88x31 Buttons]] | [[Logo-48x48|48x48]] | [[Images-90x90|90x90]] | [[Images-135x135|135x135]] | [[Icons|其它尺寸]] | [[Open Source Wallpaper|墙纸]] | [[:Category:Technology|技术]] | [[:Category:Society|社会]] | [[:Category:Places|地点]] | |
| − | + | ||
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
<br> | <br> | ||
| − | [[ | + | [[Wesnoth Portraits|韦诺之战之肖像]] | [[Wesnoth_Attacks|韦诺之战之攻击]] | 单位: [[Wesnoth Units Drakes|龙族]] | [[Wesnoth_Units_Dwarves|矮人]] | [[Wesnoth_Units_Elves|精灵]] | [[Wesnoth_Units_Goblins|地精]] | [[Wesnoth_Units_Human|人类]] | [[Wesnoth_Units_Merfolk|人鱼]] | [[Wesnoth_Units_Monsters|怪兽]] | [[Wesnoth_Units_Orcs|兽人]] | [[Wesnoth_Units_Saurians|蜥蜴人]] | [[Wesnoth_Units_Trolls|巨魔]] | [[Wesnoth_Units_Undead|亡灵]] | [[Wesnoth_Units_Wood_Elves|森林精灵]] | [[Wesnoth_Units_Woses|树人]] |
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | + | ||
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | [[ | + | |
| − | + | ||
| − | < | + | <gallery widths=90px heights=90px perrow=7 caption="精彩图集"> |
| − | + | Image:internet-60seconds.jpg|Internet极速60秒 | |
| − | + | Image:WTF-is-HTML5-cn.jpg|HTML5是什么 | |
| − | + | Image:The-android-story.png|Android历史 | |
| − | + | Image:Where-does-google-make-its-money.png|Google广告收入构成 | |
| − | + | Image:NoSQL.png|NoSQL | |
| − | + | Image:product-manager.gif|产品经理能力框架图 | |
| − | + | Image:linkedin-tech-and-arch.png|LinkedIn技术与架构 | |
| − | + | </gallery> | |
| − | + | <center> | |
| − | + | [[:Category:Technology|更多精彩图片>>>]] | |
| − | + | </center> | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | </ | + | |
| − | < | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | </ | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
2022年9月18日 (日) 05:46的最后版本
|
自由软件计算机科学、数学物理学的交流分享社群
已有7,156篇条目
|
许可协议 MPL v2.0 - GNU GPL v3 - GNU GPL v2 - GNU LGPL v2.1 - GNU LGPL v3 - GNU FDL v1.2 - GNU FDL v1.3 - CC-BY-SA 3.0 - 许可协议讨论
[编辑] 图标、图片库
Faenza图标集 | 680x100 Banners | 468x60 Banners | 80x15 Buttons | 88x31 Buttons | 48x48 | 90x90 | 135x135 | 其它尺寸 | 墙纸 | 技术 | 社会 | 地点
韦诺之战之肖像 | 韦诺之战之攻击 | 单位: 龙族 | 矮人 | 精灵 | 地精 | 人类 | 人鱼 | 怪兽 | 兽人 | 蜥蜴人 | 巨魔 | 亡灵 | 森林精灵 | 树人
- 精彩图集
Internet极速60秒
HTML5是什么
Android历史
Google广告收入构成
NoSQL
产品经理能力框架图
LinkedIn技术与架构
分享您的观点
