Some tools I wrote, most of them for my own needs. Hope some of them can be useful for others.
This tool is to get type information from the .annot files generated by ocaml compiler in order to use it from your favorite editor. To know more about it, have a look at the README file.
If you want to try it, please download the 1.0 version.
DpdGraph is a small set of tools (only two at the moment) made to extract and view the dependencies between Coq objects. To know more about it, have a look at the README file.
If you want to try it, please download the 0.2 version.
To see an example of what you can get, look at this graph. You can even click on the nodes that are liked to the documentation generated by coqdoc.
I began to write ViewGraph, a visualizer for Ocamlgraph graphs. It has been integrated in the version 1.0 of the library, but it is obsolete now since it has been enhance and rewritten in a new module dGraph available from version 1.2.
A quite long time ago, I write a calendar in PHP which makes possible to easily add links on days. I guess there are tones of this kind of thing now.