Open Source Solaris Library Management Software

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 encoding and then turn it into Unicode than to type directly in Unicode. This package aims to act as a stepping stone to Unicode, by including several legacy fonts hard-coded to take advantage of the multiple encodings, as well as a UNIX shell script, in multiple shell languages, to transcode between these encodings. All twelve encodings in wide use are supported. The fonts in this package are compatible with many operating systems; the shell scripts support Mac and Linux (more soon).

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.

GeMarge est un Logiciel de gestion d’émargement des professeurs, enseignants des écoles (Primaires, Collèges, Lycées et Universités) privées et du public. Développé par Gueu Pacôme.

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.

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

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.

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.

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