欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Daisy
Daisy is an open-source content management framework.
It consists of a standalone repository server and a sample Cocoon web application to access and edit documents in the repository. The repository offers an XML/HTTP-based interface to the outside world, and its key distinguishing features are hierarchy-less, metadata-driven storage, search and retrieval of content, a centralized and flexible access control mechanism, and user-configurable document schemas. Daisy can store and version any kind of document formats, including binary types, but its front-end web application has been specifically tuned for WYSIWYG in-browser website content authoring (strictly wellformed HTML, image management). It offers its own SQL-like query language to minimize the amount of required learning, and the default web application has a separate site hierarchy management component. Daisy also offers in-page or in-navigation queries and in-page inclusion of documents and/or query results. It is ideally suited for a slice-and-dice approach based applications of content and knowledge management.
- http://cocoondev.org/daisy
- Google Summer of Code 2007 - http://cocoondev.org/wiki/291-cd.html
Demo
Administrator role:
Username: admin Password: admin
User role:
Username: user Password: user