Pinned Repositories
dokan-dotnet
Dokan DotNet Wrapper
rdflib
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
eic-gui
Everything Is Connected User Interface
euler-proof-engine-debian
Euler Yet another proof Engine -- Inofficial Debian Package (run `gbp buildpackage -uc -us`)
gemse
An editor for mathematical formulas inspired by the text editor vim
pkb4unix
Tools to manage a personal knowledge base using RDF and SPARQL
polipo
The Polipo caching HTTP proxy (experimental changes by Urs Holzer)
RDFFresnel
Fresnel processor for RDFLib
sempipe
Tools for the construction of websites from RDF data
xsltforms
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
uholzer's Repositories
uholzer/pkb4unix
Tools to manage a personal knowledge base using RDF and SPARQL
uholzer/RDFFresnel
Fresnel processor for RDFLib
uholzer/euler-proof-engine-debian
Euler Yet another proof Engine -- Inofficial Debian Package (run `gbp buildpackage -uc -us`)
uholzer/gemse
An editor for mathematical formulas inspired by the text editor vim
uholzer/sempipe
Tools for the construction of websites from RDF data
uholzer/eic-gui
Everything Is Connected User Interface
uholzer/polipo
The Polipo caching HTTP proxy (experimental changes by Urs Holzer)
uholzer/xsltforms
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