edirom/hoftheaterportal repository overview

⁠Theatre Tool

Theatre Tool is a web application written in XQuery and JavaScript, funded by the German Research Foundation (DFG).

The tool is designed for visualizing, loading and searching archived information e.g for theatre in defined time period. The Informations are encoded in the formats of the Text Encoding Initiative (TEI) and Music Encoding Initiative (MEI) and saved in the XML-Database. Database structure and time period can be defined in the property files.

⁠Dependencies

• Jetty Application Server (http://www.eclipse.org/jetty/⁠), in the newest version
• eXist-db (http://www.exist-db.org⁠), in the newest version
• Leaflet-0.7.3 (open-source JavaScript library for mobile-friendly interactive maps), http://leafletjs.com⁠
• Verovio-toolkit-0-9-11 (http://www.verovio.org/index.xhtml⁠)
• edirom online (https://github.com/Edirom/Edirom-Online⁠)
• highlight (https://highlightjs.org⁠)
• Theatre Tool depends on the javascript framework ExtJS (http://www.sencha.com/products/extjs/⁠) which is included in parts in our code base. We use ExtJS 4.2.1 in the GPL version.
• We use icons from (https://www.iconfinder.com⁠, https://icons8.com⁠) for free.

⁠License

Theatre Tool is released to the public under the terms of the GNU GPL v.3⁠ open source license.