欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
第591行: | 第591行: | ||
</td></tr> | </td></tr> | ||
</table> | </table> | ||
+ | |||
+ | ==Software分类== | ||
+ | [[:Category:Free_3D_graphics_software|3D graphics software]] | | ||
+ | [[:Category:Free application servers|application servers]] | | ||
+ | [[:Category:Free audio software|audio software]] | | ||
+ | [[:Category:Free backup software|backup software]] | | ||
+ | [[:Category:Free BitTorrent clients|BitTorrent clients]] | | ||
+ | [[:Category:Free CD writing software|CD writing software]] | | ||
+ | [[:Category:Free compilers and interpreters|compilers and interpreters]] | | ||
+ | [[:Category:Free computer-aided design software|computer-aided design software]] | | ||
+ | [[:Category:Open source content management systems|content management systems]] | | ||
+ | [[:Category:Free data compression software|data compression software]] | | ||
+ | [[:Category:Open source database management systems|database management systems]] | | ||
+ | [[:Category:Free desktop environments|desktop environments]] | | ||
+ | [[:Category:Free development toolkits and libraries|development toolkits and libraries]] | | ||
+ | [[:Category:Free e-mail software|e-mail software]] | | ||
+ | [[:Category:Free EDA software|EDA software]] | | ||
+ | [[:Category:Free file managers|file managers]] | | ||
+ | [[:Category:Free file transfer software|file transfer software]] | | ||
+ | [[:Category:Open source games|games]] | | ||
+ | [[:Category:Free graphics software|graphics software]] | | ||
+ | [[:Category:Free groupware|groupware]] | | ||
+ | [[:Category:Free HTML editors|HTML editors]] | | ||
+ | [[:Category:Free image galleries|image galleries]] | | ||
+ | [[:Category:Free instant messaging clients|instant messengers]] | | ||
+ | [[:Category:Free integrated development environments|integrated development environments]] | | ||
+ | [[:Category:Free Internet forum software|Internet forum software]] | | ||
+ | [[:Category:Free IRC clients|IRC clients]] | | ||
+ | [[:Category:Free learning support software|learning support software]] | | ||
+ | [[:Category:Free mathematics software|mathematics software]] | | ||
+ | [[:Category:Free media players|media players]] | | ||
+ | [[:Category:Free multimedia codecs, containers, and splitters|multimedia codecs, containers, and splitters]] | | ||
+ | [[:Category:Free notetaking software|notetaking software]] | | ||
+ | [[:Category:Open source office suites|office suites]] | | ||
+ | [[:Category:Free software operating systems|operating systems]] | | ||
+ | [[:Category:Free PDF software|PDF software]] | | ||
+ | [[:Category:Free revision control software|revision control software]] | | ||
+ | [[:Category:Free search engine software|search engine software]] | | ||
+ | [[:Category:Free science software|science software]] | | ||
+ | [[:Category:Free, open source shooter games|shooter games]] | | ||
+ | [[:Category:Free special purpose file systems|special purpose file systems]] | | ||
+ | [[:Category:Free spreadsheets|spreadsheets]] | | ||
+ | [[:Category:Free television software|television software]] | | ||
+ | [[:Category:Free TeX software|TeX software]] | | ||
+ | [[:Category:Free text editors|text editors]] | | ||
+ | [[:Category:Free video software|video software]] | | ||
+ | [[:Category:Free web browsers|web browsers]] | | ||
+ | [[:Category:Free window managers|window managers]] | | ||
+ | [[:Category:Free windowing systems|windowing systems]] | | ||
+ | [[:Category:Free word processors|word processors]] | ||
==将漂亮Button加在你的网页上== | ==将漂亮Button加在你的网页上== |
2006年10月11日 (三) 14:09的版本
您好, 欢迎来到灰狐维客,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享,目前已有114名编辑参与此工程 :) 想象一下世界上的每一个人都可以自由使用的知识库。这就是我们正在做的事! (改自Wikimedia Foundation宣言)
|
欢迎大家 使用手册 - 练习编辑 - 参与维护 - 参与讨论 - 用户权限管理 - 条目模板 - 所有条目 - 热门条目 - 待撰条目 - 新增图片 |
Software分类
3D graphics software | application servers | audio software | backup software | BitTorrent clients | CD writing software | compilers and interpreters | computer-aided design software | content management systems | data compression software | database management systems | desktop environments | development toolkits and libraries | e-mail software | EDA software | file managers | file transfer software | games | graphics software | groupware | HTML editors | image galleries | instant messengers | integrated development environments | Internet forum software | IRC clients | learning support software | mathematics software | media players | multimedia codecs, containers, and splitters | notetaking software | office suites | operating systems | PDF software | revision control software | search engine software | science software | shooter games | special purpose file systems | spreadsheets | television software | TeX software | text editors | video software | web browsers | window managers | windowing systems | word processors