欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU
GNU 操作系统 - 自由软件基金会(FSF)
GNU 工程 开始于一九八四年,旨在发展一个类似 Unix ,且为 自由软件 的完整操作系统: GNU 系统。(GNU 是由“GNU's Not Unix”所递回定义出的首字母缩写语;它的发音为“guh-NEW”)。各种使用 Linux 作为内核的 GNU 操作系统正被广泛地使用著;虽然这些系统通常被称作为“Linux”,但是它们应该更精确地被称为 GNU/Linux 系统 。推荐系统 gNewSense GNU/Linux
这里同样也是自由软件基金会的网站(FSF)。 FSF 是 GNU 工程的主要赞助组织。 FSF 只由公司或作出转让的基金会处收到很少的资金。我们依赖来自於像您这样,支持 FSF 保存、保护以及促进「使用、研究、复制、修改和重新散布电脑软件」,并且保卫著自由软件使用者的权利的任务的个人的支持。去年,我们的运作资金超过百分之六十七来自於个人的捐赠。持续进行的支持是我们可以继续我们的工作的主要方式。
GNU's Who: http://www.gnu.org/people/
GNU Manuals Online - http://gnu.huihoo.org/
目录 |
新闻
您可以在Wikipedia上了解到此条目的英文信息 GNU Thanks, Wikipedia. |
- www-zh-cn @ Savannah: Welcome our new member - bingchuanjuzi (21 Nov 2024 02:01)
- libtool @ Savannah: libtool-2.5.4 released [stable] (20 Nov 2024 20:27)
- FSF Blogs: Winter holidays are coming: Time for a free software tale (19 Nov 2024 16:56)
- FSF Blogs: FSD meeting recap 2024-11-15 (15 Nov 2024 21:52)
- FSF Blogs: Keep warm with GNU winter swag (15 Nov 2024 21:30)
- FSF Blogs: TAKE ACTION: Block the PERA and PREVAIL Act - A major step back for software freedom (13 Nov 2024 20:55)
- FSF Events: Free Software Directory meeting on IRC: Friday, November 11, starting at 12:00 EST (17:00 UTC) (12 Nov 2024 15:44)
- GNU Guix: Take the Guix User and Contributor Survey (10 Nov 2024 10:01)
- FSF Blogs: Nothing says end of the year like new GNU Press gear! (08 Nov 2024 20:40)
- FSF Events: Free Software Directory meeting on IRC: Friday, November 8, starting at 12:00 EST (17:00 UTC) (05 Nov 2024 14:35)
GNU software
All GNU Packages - http://directory.fsf.org/GNU/
- System software
- Bison – parser generator intended to replace yacc
- Bash – Unix shell
- BFD – object file library
- Classpath – libraries for Java
- Coreutils – basic Unix utilities such as cat, ls, and rm
- Emacs – extensible, self-documenting text editor
- GNU C Library – Standard POSIX C library, plus additional functionality
- GNU C++ Standard Library
- gzip – a library and program for data compression
- The GNU toolchain for software development:
- Screen – a terminal multiplexer
- Texinfo – documentation system for producing online and printed manuals
- Wget – advanced file retrieval from networks and the Internet
- GNUnet – decentralized, peer-to-peer communication network designed to be resistant to censorship
- GNU Hurd – a microkernel-based set of servers that perform the same function as a Unix kernel
- Application software
- GIMP – GNU Image Manipulation Program
- Gnash – player for movies in Adobe Flash format.
- GMP – arbitrary precision numerical calculation programming library
- GNOME – graphical desktop environment
- GNU LilyPond – sheet music engraving program
- GNU Octave – program for numerical computations similar to MATLAB
- GNU Privacy Guard (GnuPG) – free encryption tool which can replace PGP
- GNU Robots – small but addictive game for computer programmers
- GNU Scientific Library
- GNUstep – implementation of the OpenStep standard for a set of libraries and development tools for graphical applications
- GNU Guile – embeddable Scheme interpreter
更多官方项目: http://savannah.nongnu.org/search/?type_of_search=soft&words=%%%&type=1
Free GNU/Linux distributions
- gNewSense GNU/Linux, a fully free GNU/Linux distribution based on Debian and Ubuntu and sponsored by the FSF
- UTUTO, a GNU/Linux distribution containing only free software. In both Spanish and English.
- Dyne:bolic, a free multimedia studio in a GNU/Linux live CD
- blag linux and gnu
- GNUstep, another instant bootable GNU/Linux distribution
- Musix GNU+Linux, a bootable GNU+Linux distribution, in an increasing number of languages.
http://www.gnu.org/links/links.html
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
链接
- http://www.gnu.org
- http://www.fsf.org/
- GNU Software 开发平台 http://savannah.gnu.org/
- http://directory.fsf.org/
- GNU/Hurd http://www.gnu.org/software/hurd/
- GNU/Hurd wiki http://hurd.gnufans.org/
- GNU Emacs
http://creativecommons.org/licenses/GPL/2.0/