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

以下页面链接至DSL：

• 用户:Allen ‎ (←链入页面)
• Lisp ‎ (←链入页面)
• Haskell ‎ (←链入页面)
• Smalltalk ‎ (←链入页面)
• 灰狐安全 ‎ (←链入页面)
• Domain-specific language (重定向页) ‎ (←链入页面)
  • Groovy ‎ (←链入页面)
  • Jenkins ‎ (←链入页面)
  • Moqui ‎ (←链入页面)
  • 分类:DSL ‎ (←链入页面)
  • Goa ‎ (←链入页面)
  • Apache TinkerPop ‎ (←链入页面)
• Haskell ecosystem ‎ (←链入页面)
• Cardano ‎ (←链入页面)
• Haskell Desktop Foundation ‎ (←链入页面)
• Haskell Web Foundation ‎ (←链入页面)
• Haskell DSL Foundation ‎ (←链入页面)
• Formal verification ‎ (←链入页面)
• Idris ‎ (←链入页面)
• Lisp Desktop Foundation ‎ (←链入页面)
• Lisp ecosystem ‎ (←链入页面)
• OCaml ecosystem ‎ (←链入页面)