Tools

Gentoo

A tool, findbigupdates, for picking out what packages have significant upgrades available. So I usually do
    emerge -puv world | findbigupdates.py
    
to find packages that really need updating and not for example, upgrading emacs-21.4-r4 to emacs-21.4-r6.




OCaml (wiki here)

  • SOLID (v1 for OCaml 3.09) (v2 for OCaml 3.10)

    SOLID is the Superior OcamL Interactive Development-mode. The aim is to be what SLIME is for Lisp -- the ultimate interactive, integrated, development environment (in Emacs of course). SOLID is essentially tuareg-mode and ocaml-mode plus some enhancements on both the emacs side as well as the ocaml (not to be confused with ocaml-mode which is an emacs mode) side. SOLID aims to be integrated into future releases of tuareg-mode and OCaml. This will of course, take time. In the mean time however, you can use this. This is alpha software, and there will certainly be bugs. However, most of the features appear to work most of the time. Further, I use this full-time for my own PhD work so I'll be fixing bugs as I encounter them.


  • Enhtop+. Enhance OCaml Toplevel with Completion.

    (for 3.09) (for 3.10)


  • zUtils (for all versions)

    The standard OCaml library is nice, but is lacking in some ways. ZUtils is an overlay of libraries to address what is lacking in the standard library.



Everything is GPL 3.