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

以下页面链接至Apache Hadoop：

• Hue ‎ (←链入页面)
• Mapr ‎ (←链入页面)
• Hortonworks ‎ (←链入页面)
• Apache Ranger ‎ (←链入页面)
• Apache Falcon ‎ (←链入页面)
• Apache Atlas ‎ (←链入页面)
• Cloudera ‎ (←链入页面)
• Apache Sentry ‎ (←链入页面)
• Apache Accumulo ‎ (←链入页面)
• Apache Impala ‎ (←链入页面)
• Luigi ‎ (←链入页面)
• Caffe ‎ (←链入页面)
• Filesystem in Userspace ‎ (←链入页面)
• CDAP ‎ (←链入页面)
• Apache Parquet ‎ (←链入页面)
• Apache Samza ‎ (←链入页面)
• Apache Calcite ‎ (←链入页面)
• Cloudbreak ‎ (←链入页面)
• Apache Crunch ‎ (←链入页面)
• Deeplearning4j ‎ (←链入页面)
• Machine learning on Hadoop ‎ (←链入页面)
• Java ecosystem ‎ (←链入页面)
• MongoDB ecosystem ‎ (←链入页面)
• D3 ‎ (←链入页面)
• Apache HAWQ ‎ (←链入页面)
• Apache Kudu ‎ (←链入页面)
• Conjure-up ‎ (←链入页面)
• Apache ORC ‎ (←链入页面)