5 projects tagged "POSIX"
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.
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.
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.