Search Results for "java open source"

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

Before Unicode, there were several competing character encodings for the Coptic script. For instance, one group of fonts might map Coptic letters Γγ to Latin keys Gg, while another group might map them to Latin keys Jj. There are several reasons for the user to opt for legacy rather than Unicode encodings. Two deserve special mention. First, there are certain marks used in Biblical and other textual criticism that do not appear in Unicode; second, it is far easier to type in a legacy...

MarcXimiL is a flexible multi-platform bibliographic similarity analysis framework. Features: deduplication, information monitoring, visual analysis, plagiarism detection. Supported: MARCXML, OAI-PMH2 harvesting, and importation of text MARC.

Converter from Advanced Revelation and Revelation G Linear Hash tables to different formats.

A generic, vendor-independent open-source application to determine the performance of a pub-sub infrastructure.

The mission of libshell is to keep in place all patterns, functions and etc of shell as a library which are useful in day-to-day work activities. With libshell one can definitely obviate the task in hand.

OPACIAL is an open source Web 2.0 Online Public Access Catalogue (OPAC). It is based on PHP-Mysql (requires Yaz and GD). The users can isnert their own social tags/opinions and have a faceted search/browse interface (also using social tags).

PLEIAS is an open-source Inter-library Loan System (ILL) written in PHP-Mysql. Some of its major features are: custom workflow and account types, customer and supplier financial monitoring, group accounts, customer web interface for order tracking.

La Suite Nemesis Research & Design 1.x (NemesisRD) es un conjunto de librerías multipropósito, que ofrece gran cantidad de clases y patrones implementados en C++, que tienen como objetivo facilitar la realización de las tareas más habituales a la hor

EBookShelf is a java based electronic books, documents management system. As a web-based application, the system enables users to search, browse and manage ebooks and documents shared by entire organization online.