WWW-wide translation of HTML pages. This should be run as CGI script or Server module. HTML pages are fetched, translated, links are updated in order to continue translation when the user follows a hyperlink.
The Haskell Web Publisher shall allow website implementation using the functional programming language Haskell. Thereby, accuracy of URIs, data validity, and compliance to security restrictions shall be assured by compiler checks.
A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.