5 projects tagged "POSIX"
Updated 05 Feb 2002
HTML-XML-utils
| Pop | 53.14 |
|---|---|
| Vit | 1.84 |
HTML-XML-utils consists of a set of small C programs (filters) that read HTML and XML files and can add a table of contents, an alphabetical index, a bibliography, cross-references, numbered headings, remove elements, count elements, pretty-print them, etc. When it reads HTML, it assumes the code is correct HTML 4.0 or close to it.
Updated 20 Apr 2013
LPMtool
| Pop | 40.95 |
|---|---|
| Vit | 1.00 |
LPMtool aims to be a complete package management and software distribution solution. It includes basic command line and PyGTK-based utilities for installing and removing packages, as well as tools to publish Web-based package repositories that use a GPG-based web-of-trust security model.
Updated 22 Jan 2004
Pythoñol
| Pop | 93.08 |
|---|---|
| Vit | 2.12 |
Pythoñol is an all-in-one program that helps English speakers learn Spanish. It features pronunciation, verb conjugation, a dictionary with over 70,000 words, a thesaurus, quizzes, full-text translation, idioms, a verb browser, and a large reference section.
Updated 18 Oct 2003
Surnia
| Pop | 14.39 |
|---|---|
| Vit | 59.18 |
Surnia can check an OWL ontology/knowledge base for inconsistency and entailments. It is implemented as a wrapper around first-order theorem prover (OTTER, for now at least). Unlike Hoolet (which turns the OWL into FOL), Surnia just turns the OWL into triples and mixes in axioms.
Updated 17 Feb 2003
gAnim8
| Pop | 56.52 |
|---|---|
| Vit | 2.31 |
gAnim8 is a suite of tools for building and manipulating animated GIFs and small videos in a GTK/GNOME environment. It allows animated GIFs and videos (MPG, AVI/ASF, WMV, SWF, RM, MOV, or M4V) to be easily created, edited, previewed, recorded, or saved into screenshots.
