欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

以下页面链接至GNOME：

• Linux ‎ (←链入页面)
• GNU ‎ (←链入页面)
• Gnoppix ‎ (←链入页面)
• GnuLinEx ‎ (←链入页面)
• Kubuntu ‎ (←链入页面)
• Xfce ‎ (←链入页面)
• Totem ‎ (←链入页面)
• GTK ‎ (←链入页面)
• Freedesktop.org ‎ (←链入页面)
• Rhythmbox ‎ (←链入页面)
• Faenza Icons ‎ (←链入页面)
• 模板:Linux ‎ (←链入页面)
• Libxml2 ‎ (←链入页面)
• Glade ‎ (←链入页面)
• GNOME/developer ‎ (←链入页面)
• Vala ‎ (←链入页面)
• Galeon ‎ (←链入页面)
• X11 ‎ (←链入页面)
• R System ‎ (←链入页面)
• Haskell ecosystem ‎ (←链入页面)
• Haskell Desktop Foundation ‎ (←链入页面)
• Xmonad ‎ (←链入页面)
• PostmarketOS ‎ (←链入页面)
• GUI ‎ (←链入页面)