欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Flax
来自开放百科 - 灰狐
Flax is a high-performance search system based on open source software licensed under the LGPL. Flax can build searchable indexes of millions of documents in common formats such as Microsoft Office, HTML and Adobe Acrobat (PDF), which can then be searched in milliseconds using a customisable interface to meet specific needs. Flax is cross-platform, integrates seamlessly with your existing infrastructure and provides highly accurate and relevant results.
Flax is based on the Xapian search engine library
Links
分享您的观点