欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Byline
Byline is an open source (LGPL) content management, portal, and collaboration system built on top of a sophisticated web development framework. Byline includes content authoring, versioning, workflow, categorization, and lifecycle management capabilities. Byline has been used to build sophisticated content and document management systems for customers such as the APLAWS consortium, FranceTV (www.france2.fr), Deutsche Post, the United Nations, and many others. Byline has been used to power systems that have over 400GB of data, thousands of content contributors, and tens of thousands of content visitors.
Byline is written in Java. Byline requires a servlet container such as Tomcat and either PostgreSQL or Oracle.