欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
DLXS
来自开放百科 - 灰狐
DLXS是密西根大学数字图书馆推广服务(The University of Michigan Digital Library eXtension Service)的缩写。它为教育机构和非赢利机构提供了完整构建数字图书馆的框架和基础。它的特色在搜索引擎以及一些基于类的中间件。这个系统金属制造个部分,第一部分即中间件,全部是免费的。第二部分是搜索引擎,有2个版本,其中1个免费,名为XPAT Lite,另1个收费,即XPAT。差别在前者只支持10M容量,而且不支持Unicode编码。目前版本是5.3.0。所以说,这个不能算是严格意义上的开源软件,但是因为它提供的中间件非常有用,所以也一并介绍于此。
分享您的观点