At the moment I am working on five computer based projects: BiblioTeX, Calculemus, gBooks, LaTeXML and ProofTeXnic.
BibTeX is a program to create bibliographical data once and link it twice or multiple. BibLaTeX is a package to organise and format an output of bibliographical data in an easy way; the approach is still the same: save once and link twice. BiblioTeX goes a step further. For bibliographies it offers an easy approach: save once and link once. Please visit the projects site.
A bubble: Every scientific problem can be solved by calculation. Kurt Gödel bursted this bubble. Anyway we still go on with calculation. Calculemus is an approach of creating tools for formulating theories in artificial languages and for translating theories from one language into another. The idea: We start with a set of tools and a database with zero entries. We stop with an overkill or something similar. And in the meantime we progress with theories formulated in artificial languages. Please visit the projects site.
Googles project google books is an analogue-to-digital blackbox. To overcome problems with publishers, google restricted the access to digitalised data. gBooks is a project to overcome some restrictions of google books - legally. Please visit the projects site.
Still in progress. Hopefully no regress. Please have a look on definitions for XML.
Still in progress. Hopefully no regress.