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.
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
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.