Tools

Here are some of the tools I developed for my own use, or for projects in which I was involved. Some of them are no longer active, but I provide them there if they can be of some use.

Hot stuff (still evolving)

• daDrill is an interactive PHP/MySQL application that allows you to store, query and navigate through a collection of references indexed according to the BibTeX standard. You may view it as a free, open-source alternative to using reference management software like EndNote.
• JeffJr is a software that allows flexible and real-time control, via a web-like interface, of audio and video events. This software is the basis of the multimedia platform used in all representations of the conference ShowMath of which I am responsible at the SMAC project. It has a web site of its own on Sourceforge.net.
• Part-time Logger is a simple time logging tool for multiple projects developed in PHP/MySQL.
• Newton is an AI program that uses Boolean differences to identify ill-defined attributes in machine learning datasets with a reported accuracy of 95%.

Cold stuff

There are things I developed, that work, but that I do not support anymore.

• BitIO are C++ classes to acccess files bit by bit. Some people around the world actually used this (mostly for school assignments)!
• Gentzen, Final project in my B. Sc. in Mathematics. A Java implementation of Gentzen and Reduction algorithms for automated theorem proving in propositional logic. On the verge of being lambda-calculus (if I had made it more general from the start).
• PG6212, small program I did to implement an idea I had about the emergent, evolutive drawing of graphs: viewing vertices as charged magnetic beads and edges as elastics, and letting the system evolve over time by the standard laws of Mechanics from a random scattering to an ordered and eye-pleasing rendition.