The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
phpMyVisites is a Web traffic analyzer with very detailed reports and advanced graphics. It is not an Apache log analysis tool. phpMyVisites creates its own logs, and it allows access to more complete statistics. phpMyVisites provides information about visitors, page views, visitor follow-ups, countries of origin, software configurations, referrers, and much more. It also includes a powerful administration and configuration tool.
HyperSQL is like the doxygen program with Javadoc added, but for SQL. It hypermaps SQL views, packages, procedures, and functions to HTML source code listings, and it shows all the code locations where these are used. You can use JavaDoc-style comments for documentation and even embed UnitTests with them.
superseriousstats is a small and efficient program for creating a Web page with statistics from various types of IRC logs. It keeps track of its parse history and only processes new activity before storing any accumulated data in a SQLite or MySQL database. It is suitable for high volume IRC channels and large log archives, and is relatively easy to integrate with IRC services (e.g. bots) that interact with the database and provide last seen information and many other statistics directly in your channel.
Kunagi offers integrated project management, supplementing Scrum by a selection of other best practices to cover all project management needs. It not only offers management of basic Scrum documents, but also a variety of additional data. Furthermore, it includes several features for ease of use and collaboration. Kunagi aims to be accessible and suitable for both professional and non-professional development of projects of any size. Its Web interface uses the latest technology to achieve the usability of desktop software while running in a browser and therefore being accessible from anywhere.
Ozibug is a platform-independent, Web-based bug tracking system that can be installed and run straight out of the box on any Java servlet capable platform. It can be used to manage the reporting of bugs and tracking of their progress from discovery through to resolution. It provides standard features such as file attachments, multiple module support, email notifications, custom reports, and RSS feeds. For those who require more flexibility, it also offers fine grained access control, database storage, pluggable authentication, an incoming mail gateway, and customizable appearance, email notifications, and reference data.
Userfriendly SVN (USVN) is a Web-based interface to configure your subversion repositories. This interface allows you to create new projects without a command line client, and it requires priviliged access to the server. USVN will take care of managing the list of users which are authorized to check out source code. This allows you to delegate the administration of your Subversion depots. USVN permits easy management of access restriction on Subversion files.