9150 projects tagged "OS Independent"
Updated 24 May 2013
Hilbert II
| Pop | 316.48 |
|---|---|
| Vit | 46.62 |
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".
Updated 24 May 2013
SchemaCrawler
| Pop | 664.48 |
|---|---|
| Vit | 74.08 |
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.
Updated 24 May 2013
phpMyAdmin
| Pop | 4,741.61 |
|---|---|
| Vit | 798.04 |
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.
Updated 23 May 2013
Data Crow
| Pop | 735.04 |
|---|---|
| Vit | 1,016.80 |
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.
Updated 23 May 2013
WiKID Strong Authentication System
| Pop | 2,323.17 |
|---|---|
| Vit | 1,215.71 |
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.
Updated 23 May 2013
ucommon
| Pop | 139.16 |
|---|---|
| Vit | 419.42 |
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.
Updated 23 May 2013
Thumbnailator
| Pop | 131.65 |
|---|---|
| Vit | 206.64 |
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.
Updated 23 May 2013
Apache Ant
| Pop | 1,006.54 |
|---|---|
| Vit | 310.85 |
Ant is a Java based build tool, similar to make, but with better support for the cross platform issues involved with developing Java applications. Ant is the build tool of choice for all Java projects at Apache and many other Open Source Java projects.
Updated 23 May 2013
AutoLaTeX
| Pop | 296.60 |
|---|---|
| Vit | 166.33 |
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.
Updated 22 May 2013
Thinknowlogy
| Pop | 179.77 |
|---|---|
| Vit | 125.30 |
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.
