Search Results for "gnu linux"

Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived...

Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that...

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.

DIASER, Geo-data duplication long-term archive system & WAN vault. Manage mixed data archives generated by existing backup software. Ensure availability using commodity hardware. Retain administrative and financial control.

These are the implementation of various parallel algorithms like Symmemtric division for sum and maximum, Optimal sum using parallel algorithms, List ranking, Tree contraction, Matrix vector multiplication, Counting the number of vowels, consonants, digits, Matrix transpose, Block based matrix multiplication, the project folder has 4 implemenations of Matrix Multiplication algorithms, one simple muliplication, Transpose based multiplication, Strip based matrix mulitiplication

Al-anvar is an open source freeware dedicated for Quranic study and research. Some of its features are: Advanced search , Commenting tool , Indexing and Grouping , Add-ons for different translations and commentaries in many languages , Online and offline recitation

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.

libNT is a Number Theory Library which is based on a BigInteger Class. It will contain several algorithms for solving Number Theory Problems. Written in the IDE Code::Blocks

DASS-GUI is a graphical user interface for pattern search in non-sequential data.

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

This is attempt to make an open source bookmarking system that supports tagging, distributed data storage, genetic "splicing" of strains of bookmarking tags and much more!

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

MGARCH is a software library for R-Project to simulate and estimate various MGARCH processes. This project also provides convenience tools for preparing data, summarizing and visualizing results, prediction and documentation.

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.

MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.

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.