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".
SchemaCrawler is a Java API which makes working with database metadata as easy as working with ordinary Java objects. It is also a database schema discovery and comprehension and schema documentation tool. You can search for database schema objects using regular expressions, output the schema and data in a readable text format, and find potential design issues with lint . The output is designed to be diff-ed against other database schemas. SchemaCrawler supports almost any database which has a JDBC driver, but for convenience is bundled with drivers for some commonly-used RDBMS systems. SchemaCrawler works with any operating system which supports Java.
phpMyAdmin is a tool intended to handle the administration of MySQL over the Web. It can create, rename, and drop databases, create/drop/alter tables, delete/edit/add fields, execute any SQL statement, manage keys on fields, create dumps of tables and databases, export/import CSV data, and administrate one single database and multiple MySQL servers.
Data Crow is a movie, video, book, image, software, and music cataloger/media manager. Data Crow uses MusicBrainz, Amazon, IMDb, and many other Web services to retrieve the information for you. It is highly customizable, easy to use, and feature rich. It helps you to keep track of your loans, allows you to create reports, enables you to create your own modules (using wizards) and, most importantly, enables you to easily manage all your collections.
The WiKID Strong Authentication System is a highly scalable, secure two-factor authentication system. It is simple to implement and maintain, allows users to be validated automatically, requires no hardware tokens, has a simple API for application support (via Ruby, PHP, Java, COM, Python, etc.), supports multiple domains, and supports replication for fault tolerance and scalability. It also supports mutual /host and transaction authentication, wireless tokens only domains, locked tokens (to your PC), anti-keystroke logger keypad PIN entry, etc.
UCommon is a lightweight C++ library to facilitate using C++ design patterns even for very deeply embedded applications, such as for systems using uClibc along with POSIX threading support. For this reason, UCommon disables language features that consume memory or introduce runtime overhead. UCommon introduces some design patterns from Objective-C, such as reference counted objects, memory pools, and smart pointers. UCommon introduces some new concepts for handling of thread locking and synchronization.
Thumbnailator is a thumbnail generation library with a fluent interface for Java. It simplifies the process of producing thumbnails from existing image files and image objects by providing an API which allows for fine tuning of thumbnail generation, while keeping the amount of code that needs to be written to a minimum.
AutoLaTeX is a tool for managing small to large sized LaTeX projects. The typical AutoLaTeX input file is simply a series of variable definitions in a Makefile for the project. This Makefile was automatically generated by a provided Perl script. The user can easily perform all required steps to do such tasks as preview the document or produce a PDF file. AutoLaTeX will keep track of files that have changed and how to run the various programs that are needed to produce the output. One of the best features of AutoLaTeX is to provide translation rules to automatically generate the figures which will be included into the PDF.
Thinknowlogy is grammar-based software designed to utilize the logic contained within grammar in order to create intelligence through a natural language, which is demonstrated by programming in a natural language, reasoning in a natural language (drawing conclusions, making assumptions (with a self-adjusting level of uncertainty), asking questions (about gaps in the knowledge), and detecting conflicts), and intelligent answering of "is" questions, providing alternative answers as well.