Search Results for "gnome linux"

VideLibri lists the books you have borrowed from a public library and lets you search the library catalog from your local device. It has all the usual features of a library OPAC, i.e. viewing, renewing, searching and ordering books. It also renews all due books automatically and can do other things only a locally running app can do, like keeping a history of all ever borrowed books across multiple libraries. Developed in 2006, it is the world's first library app, and by supporting 20...

ChordPro creates elegant, stafless lead sheets for musicians needing only chords and lyrics. It processes plain text input in ChordPro format and it is a rewrite of the old though still popular Chord/Chordii programs.

A program to easily generate cue sheets for CD images with compressed or raw (wav) audio tracks, usable, for example, in DosBox.

Lists and compares two html bookmark files (as defined by firefox) side by side and notes the similarities and the differences in a colored list through the GUI environment.

libmng -THE reference library for reading, displaying, writing and examining Multiple-Image Network Graphics. MNG is the animation extension to the popular PNG image-format.

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

Phormat is a dataset format analysis tool to aid in the understanding and comprehension of unknown or undocumented file and protocol formats.

An XML DTD & schema for a ProofReading Markup Language, and reference implementations, to provide for annotation of printed errors and their correction. PRML will be intended for use by proofreaders, editors, and others in the publishing industry.

Collection of tools for input, reading, processing, and typesetting Taiwanese language. Includes SCIM and quail input methods, Firefox dictionary plugin, plus scripts for LaTeX and HTML generation.

AmyEdit is a LaTeX Editor designed to simplify the creation of LaTeX documents in Linux. It is designed to be as user friendly as possibly, and features initial document templates. It is written using C++ and GTKMM,

This editor aims to help users creating their own ebooks in the newly released Open Publishing standard defined by International Digital Publishing Forum. The editor will permit the creatioin of ebook in OCF-1.0 format (.epub)

ddreditor (Digital Didatic Resource Editor) is a editor of Digital Didatic Resources (learning objects and more). It is implemented using Python and it´s GTK bindings and uses a docbook substed as it´s markup language.