Dear all,

it is my pleasure to announce

           Memcheck, a module for runtime type checking in Ocaml


Memcheck is very similar to SafeUnmarshal[1] but without a few of
SafeUnmarshal's limitations. In particular, with Memcheck it only
takes seconds to check a few megabytes instead of hours as with
SafeUnmarshal. 

For download / more info go to http://www.cs.ru.nl/~tews/memcheck/ 

License: GPL

Bye,

Hendrik Tews

[1] http://www.pps.jussieu.fr/~henry/marshal/