Search Results for "restaurant management system"

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.

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.

The Bible is an offline portable bible which contains all the features needed for a bible student. Some of the features of TheBible which makes it unique are: 1. It is as tiny as 3.5 MB and its portable. 2. it has no dependencies. 3. It works on all windows systems from win98 to win8. 4. Passage lookup feature which gives you the very feel of using a bible. 5. Keyword search feature which allows you to search for a specific keyword and get all the results in the...

Library provides a function of 'human-like mouse movements', ie mouse movements as human. The library will be useful for those who are developing all kinds of bots for games or online casino \ poker. Written in C + +, has a small size of 13 kilobytes.

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!

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.

Scribe Software is a software system for the nondestructive scanning and digitization of books with the Internet Archive's Scribe machine. The Java UI and PHP image processing pipeline produce books for www.archive.org and other digital libraries.