Search Results for "collection"

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.

Bibliograph is a powerful and intuitive open source web application for the collaborative collection, editing and publishing of bibliographic data such as a bibliographies, small library collections or shared research data. It features a modern user interface similar to a desktop application.

QNANWidgets is a collection of science/engineering oriented Qt Widgets to help in creating sci/eng. applications and include a chart and plot widget. The widgets are easy to use and can be customized in Qt Designer directly.

Fb2Combiner builds a collection of fb2-formatted books in one container (also in fb2 format). Each book is embedded as a chapter.

Java 8+ required. Collection of tools to help generate artificial Whole Slide Images (WSIs). A WSI is stored as a ZIP archive of JPG tiles, and this software contains a tool to visualize this format. SVS files can be used directly for texture extraction (thanks to the included Bio-Formats library). Main source files in package fr.unistra.wsi.synthetic.

The package allows to work with scalar arrays as usual collections. The problem with a scalar array Java templates don't support scalar types as generic parameters. Java code working with collection interfaces such as List or Collection is inapplicable for arrays. Some libraries supply methods to work with object array. These methods are generic and built-in types int, boolean, long, short, byte, double, float suffer. The number of scalar type is small and finite. There are realization...

[2014-10-31] This project is obsolete, for latest version (6.1.3) see GitHub https://github.com/digital-preservation/droid (source) and http://www.nationalarchives.gov.uk/information-management/manage-information/preserving-digital-records/droid/ (binary) DROID (Digital Record Object Identification) is an automatic file format identification tool. It is the first in a planned series of tools developed by The National Archives under the umbrella of its PRONOM technical registry...

An application for managing your (e)Book collection.

C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).

The collection of over 1500 easy-to-use copy-and-paste JavaScript from various sources. For webmasters and JavaScript newbies. Includes Tutorials, built-in script editor, comprehensive offline search. Compiled by Davo(Australia) & Aung Khant(Myanmar).

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.

dbook is a collection of programs to manage a big book collection on the command line Including: ISBN checker and converter, Amazon book information retrieval, [book data base, lend record] create bibtex out of latex/tex automatically. DBook is also a Document creation tool which can be found under http://www.dbook.org

Desktop tool to organize your personal collection of electronic publications, in particular scientific ones. Also provides back-end libraries (Java) for access to OPF/OCF e-books, usable independently.

An electronic book catalog database organizer software that helps to catalog and search ebook collections. Can automatically search for book information from Amazon to quickly tag the e-book collection.

KNN-WEKA provides a implementation of the K-nearest neighbour algorithm for Weka. Weka is a collection of machine learning algorithms for data mining tasks. For more information on Weka, see http://www.cs.waikato.ac.nz/ml/weka/.

a simple clean book collection web application: o you can add books by ISBN only (get all the rest via Amazon) o you sould also be able to search, rate, add to wish list ... etc

The University of Utah CONTENTdm API Extension allows developers to extend or create new interfaces for CONTENTdm collections by providing a robust object-oriented middleware to query and access collection data.

The Flamenco search and browse interface framework uses hierarchical faceted metadata to allow users to both refine and expand queries, while maintaining a consistent representation of a collection and seamlessly integrating keyword queries.

Personal CD Database, PHP based software allows you to gather information about your CDs & DVDs collection. Add, update, browse and find your disks as fast as never before!

iBookshelf is an application for cataloging your book collection and designing bookshelves based on this data.

A collection of beginner-friendly Java multi-media classes designed to be used in a CS1 programming course.

collection good tip code as utility packet,esp. Chinses! and design one mail core Blog system. only through mail we can blogging us Blog! and as one opening proj. , let China Python easy share tip code into uniform packet; and enjoy OpenSource...

MARC Toolkit for Libraries is a collection of software and sourcecode for working with MARC records. Previously called the MARC Template Library (a C++ template library for MARC records).

This project will be a command-line/gui driven book cataloging utility that will allow simple input based on isbn (and possibly title at a later date) for use on major platforms (linux, os x, win32) in conjunction with the MySQL database software.

A library for XML-based OPAC/ILS access. libxess is a collection of server-side proxies that provide a Marc-XML/REST based interface to the records and holdings of catalogs such as III Millennium. libxess is implemented in PHP, making it easy to deploy.