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

以下页面链接至Scheme：

• Programming language ‎ (←链入页面)
• GnuCash ‎ (←链入页面)
• Lisp ‎ (←链入页面)
• Emacs Lisp ‎ (←链入页面)
• GNU Guile ‎ (←链入页面)
• R ‎ (←链入页面)
• OpenCloudStack ‎ (←链入页面)
• Parrot ‎ (←链入页面)
• Scheme (programming language) (重定向页) ‎ (←链入页面)
  • Schemers (重定向页) ‎ (←链入页面)
• Racket ‎ (←链入页面)
• 分类:Scheme ‎ (←链入页面)
• Functional programming ‎ (←链入页面)
• LambdaNative ‎ (←链入页面)
• Gambit ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• 灰狐编程俱乐部 ‎ (←链入页面)
• 我与C++PythonErlang的1000个日夜 ‎ (←链入页面)
• 我与MED的1000个日夜 ‎ (←链入页面)
• E language ‎ (←链入页面)
• Haskell Desktop Foundation ‎ (←链入页面)
• Lisp Desktop Foundation ‎ (←链入页面)
• Lisp ecosystem ‎ (←链入页面)
• MIT/GNU Scheme ‎ (←链入页面)
• Chez Scheme ‎ (←链入页面)
• Gauche ‎ (←链入页面)
• CHICKEN Scheme ‎ (←链入页面)
• Lisp Mobile Foundation ‎ (←链入页面)