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

以下页面链接至Python：

• Apache Mesos ‎ (←链入页面)
• SaltStack ‎ (←链入页面)
• Zamboni ‎ (←链入页面)
• Phusion Passenger ‎ (←链入页面)
• MySQL Pool Scanner ‎ (←链入页面)
• Project Babel 2 ‎ (←链入页面)
• Natural language processing ‎ (←链入页面)
• OpenPLM ‎ (←链入页面)
• Deis ‎ (←链入页面)
• PyBossa ‎ (←链入页面)
• Wish.com ‎ (←链入页面)
• Planet feed reader ‎ (←链入页面)
• CLPython ‎ (←链入页面)
• Sublime Text ‎ (←链入页面)
• Tryton ‎ (←链入页面)
• Douban code ‎ (←链入页面)
• Buildout ‎ (←链入页面)
• Apache Allura ‎ (←链入页面)
• Visual Studio Code ‎ (←链入页面)
• Pyston ‎ (←链入页面)
• Ansible ‎ (←链入页面)
• PyCharm ‎ (←链入页面)
• ERPNext ‎ (←链入页面)
• Ibis ‎ (←链入页面)
• OpenBazaar ‎ (←链入页面)
• DPark ‎ (←链入页面)
• Cactus ‎ (←链入页面)
• Frappe ‎ (←链入页面)
• Fn.py ‎ (←链入页面)
• Functional programming ‎ (←链入页面)
• Anaconda python ‎ (←链入页面)
• PySide ‎ (←链入页面)
• Luigi ‎ (←链入页面)
• Fabric bolt ‎ (←链入页面)
• DeepDive ‎ (←链入页面)
• Shodan ‎ (←链入页面)
• Bitbucket ‎ (←链入页面)
• HPCC ‎ (←链入页面)
• GmailFS ‎ (←链入页面)
• Pandas ‎ (←链入页面)
• H2O ‎ (←链入页面)
• Metrilyx ‎ (←链入页面)
• TensorFlow ‎ (←链入页面)
• 高频交易 ‎ (←链入页面)
• Julia ‎ (←链入页面)
• Scrapy ‎ (←链入页面)
• Ethereum ‎ (←链入页面)
• Scikit-learn ‎ (←链入页面)
• Httpbin ‎ (←链入页面)
• Theano ‎ (←链入页面)