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

以下页面链接至Ruby：

• LinRails ‎ (←链入页面)
• NeverBlock ‎ (←链入页面)
• Diaspora ‎ (←链入页面)
• Huihoo Web Team ‎ (←链入页面)
• ActiveRecord ‎ (←链入页面)
• Puppet ‎ (←链入页面)
• Ejscript ‎ (←链入页面)
• Ace ‎ (←链入页面)
• Insoshi ‎ (←链入页面)
• Travis CI ‎ (←链入页面)
• Bookyt ‎ (←链入页面)
• Lovd by Less ‎ (←链入页面)
• BeEF ‎ (←链入页面)
• Metasploit ‎ (←链入页面)
• Cloud Foundry ‎ (←链入页面)
• CoffeeScript ‎ (←链入页面)
• CruiseControl.rb ‎ (←链入页面)
• Apache Buildr ‎ (←链入页面)
• RSpec ‎ (←链入页面)
• Chef ‎ (←链入页面)
• Aeolus ‎ (←链入页面)
• Homebrew ‎ (←链入页面)
• Mixture.fm ‎ (←链入页面)
• Vert.x ‎ (←链入页面)
• Cucumber ‎ (←链入页面)
• EdX ‎ (←链入页面)
• Phusion Passenger ‎ (←链入页面)
• Smalltalk ‎ (←链入页面)
• Candlepin ‎ (←链入页面)
• DigitalOcean ‎ (←链入页面)
• Sinatra ‎ (←链入页面)
• Spree commerce ‎ (←链入页面)
• CocoaPods ‎ (←链入页面)
• Visual Studio Code ‎ (←链入页面)
• Jupyter ‎ (←链入页面)
• Julia ‎ (←链入页面)
• Restangular ‎ (←链入页面)
• Kafka ecosystem ‎ (←链入页面)
• Actor model ‎ (←链入页面)
• MongoDB ecosystem ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• OpenShift/developer ‎ (←链入页面)
• .NET ecosystem ‎ (←链入页面)
• FluentMigrator ‎ (←链入页面)
• E3 learning ‎ (←链入页面)
• Odoo API ‎ (←链入页面)
• Erlang VM ‎ (←链入页面)
• Erlang ecosystem ‎ (←链入页面)
• R System ‎ (←链入页面)
• Fluentd ‎ (←链入页面)