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

以下页面链接至Apache Solr：

• Apache Lucene ‎ (←链入页面)
• Apache Software Foundation ‎ (←链入页面)
• Apache OFBiz ‎ (←链入页面)
• Apache Tika ‎ (←链入页面)
• Gougou ‎ (←链入页面)
• YaCy ‎ (←链入页面)
• Apache CloudStack ‎ (←链入页面)
• Spring Roo ‎ (←链入页面)
• Elasticsearch ‎ (←链入页面)
• Riak ‎ (←链入页面)
• Apache Gora ‎ (←链入页面)
• Apache Ranger ‎ (←链入页面)
• Bleve ‎ (←链入页面)
• Broadleaf Commerce ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• D3 ‎ (←链入页面)
• 我与MED的1000个日夜 ‎ (←链入页面)
• Rust ecosystem ‎ (←链入页面)
• Elassandra ‎ (←链入页面)
• 狗狗搜索 ‎ (←链入页面)