欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Free Software Foundation
| 第46行： | 第46行： | ||
[[Image:debian.png]] [[Image:ubuntu.png]] [[Image:gentoo.png]] [[Image:slackware.png]] [[Image:suse.png]] [[Image:opensuse.gif]] [[Image:fedora.png]] [[Image:mandrake.png]] [[Image:mepis.png]] [[Image:xandros.png]] [[Image:knoppix.png]] [[Image:geexbox.png]] | [[Image:debian.png]] [[Image:ubuntu.png]] [[Image:gentoo.png]] [[Image:slackware.png]] [[Image:suse.png]] [[Image:opensuse.gif]] [[Image:fedora.png]] [[Image:mandrake.png]] [[Image:mepis.png]] [[Image:xandros.png]] [[Image:knoppix.png]] [[Image:geexbox.png]] | ||
| − | + | ==Buttons== | |
| + | [[Image:FSF_directory_88x31.png]] [[Image:donatefsf_88x31.png]] | ||
==Links== | ==Links== | ||
*http://www.fsf.org/ | *http://www.fsf.org/ | ||
*http://www.gnu.org/ | *http://www.gnu.org/ | ||
*http://directory.fsf.org/ | *http://directory.fsf.org/ | ||
2007年2月27日 (二) 14:01的版本
The Free Software Foundation (FSF), established in 1985, is dedicated to promoting computer users' rights to use, study, copy, modify, and redistribute computer programs. The FSF promotes the development and use of free software, particularly the GNU operating system, used widely in its GNU/Linux variant.
FSF: Free Software, Free Society
The Free Software Foundation (FSF) is the principal organizational sponsor of the GNU Project.
目录 |
Support the FSF
GPLv3 Community Process: Drafting the next generation free software license
GNU Project: Developing a complete free software OS
Licensing & Compliance Lab: Stewardship and enforcement of the GPL
Free Software Directory: Cataloging the world of free software
Savannah Community: Supporting free software developers
Campaigns for Freedom: Earning mindshare in support of free software
Official GNU Project
更多官方项目: http://savannah.nongnu.org/search/?type_of_search=soft&words=%%%&type=1
GNU Linux
- Debian GNU/Linux (官方网站)
- Ubuntu (官方网站)
- Red Hat Linux (官方网站)
- Fedora Core (官方网站)
- SUSE Linux (官方网站)
- openSUSE (官方网站)
- Mandrake Linux (官方网站)
- Slackware Linux (官方网站)
- Gentoo Linux (官方网站)
- Knoppix (官方网站)
- MiniLinux Mini Linux Distribution
- Arch Linux
Buttons
