Reading this warning on PGP keyservers, it appears that they are coded in Ocaml!
Yet another example of a proof of concept that went directly in production… That’s a chance that it was coded in Ocaml, maybe an explanation of its longevity.
One question though: is the Yaron Minsky referred in this document the Yaron Minsky?