Search Results for "desktop gui x11"

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...

These are two C++ libraries for symbolic, numeric and graphical manipulations in non-Euclidean geometry. There is GUI which allows to interact with these libraries by mouse clicks. On a dipper level the first library Cycle implements basic operations on cycles (quadrics) through FSCc construction. The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities...

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.

CoolReader is fast and small cross-platform XML/CSS based eBook reader for desktops and handheld devices. Supported formats: FB2, TXT, RTF, DOC, TCR, HTML, EPUB, CHM, PDB, MOBI. Platforms: Win32, Linux, Android. Ported on some eInk based devices.

..

Cocoa utility for the classification of books, with a simple GUI

Tribuit is a basic word manager with word check function specialized for latin words based on java.

Java IO Extension is a open source project which extends java IO package by providing a java class library to access IO system in a local area network Developers can easily use IO Extension just like using java IO API to access a remote IO system

JBookManager is a library management application written to make it easier to manage you library and your book orders. It has a Swing GUI and allows export to many well-known data formats like BibTeX

Lite Dict - free distributed cross platform open source dictionary. It supports XDXF dictionary file format. Lite Dict свободно распространяемый кроссплатформенный словарь иностранных слов.

Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.

Die Dokumentationsreihe Linuxhandbuch setzt sich aus einzelnen Büchern zusammen, darunter Linux für Anwender, Administratoren und Netzwerker. Außerdem werden ganz gezielt einzelne Themenbereiche, wie Apache, Samba oder Hochverfügbarkeit abgedeckt.

The DBL-Browser (Digital Bibliographic Library Browser) offers the user the ability to browse a digital library, like DBLP (http://dblp.uni-trier.de), while offline. It has a user-friendly GUI, a smart search, and textual and graphical visualizations.

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.

Project page has moved. Please check new homepage of the project.