欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Greenstone
来自开放百科 - 灰狐
Greenstone is a suite of software for building and distributing digital library collections.
Greenstone 是一组有关数字图书馆建设的开源软件,它提供了在网络或者CD中组织和发布信息的一种新方式。在我国应用不多。有必要加以介绍。这一软件是新西兰数字图书馆计划的一个部分,并且得到了联合国教科文组织和Human Info NGO 的协助。它是一个开源软件,包括多种语言版本,比如英语、法语、西班牙语、也包括简体中文、繁体中文等多种版本。目前通用的版本是2.7,可以在Linux、Windows、MacOS 三种平台上运行。另外,现在此软件推出了3.2版本,用Java 重新撰写了所有模块,功能更为强大。
分享您的观点