5 projects tagged "W3C"
Updated 07 Apr 2009
Amaya
| Pop | 350.37 |
|---|---|
| Vit | 6.99 |
Amaya is a complete Web browsing and authoring environment, and comes equipped with a WYSIWYG style interface. It lets users both browse and author valid Web pages, with standards including (X)HTML, native MathML, and SVG documents. It also includes a collaborative annotation application (RDF).
Updated 17 Feb 2003
gAnim8
| Pop | 57.63 |
|---|---|
| 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.
Updated 22 Jan 2004
Pythoñol
| Pop | 94.11 |
|---|---|
| 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.15 |
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 20 Apr 2013
LPMtool
| Pop | 39.72 |
|---|---|
| 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.
