Euler Yet another proof Engine -- Inofficial Debian Package (run `gbp buildpackage -uc -us`)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
XForms to XHTML+Javascript (AJAX) conversion based on a unique XSL transformation. Suitable server-side (PHP) or client-side (Internet Explorer, Mozilla FireFox, Opera, Safari) browser treatment where an XSLT 1.0 engine is available
Tools to manage a personal knowledge base using RDF and SPARQL
Fresnel processor for RDFLib
Tools for the construction of websites from RDF data