Lua-ML is a pure OCaml, heavily functorized implementation of Lua 2.5. It’s possible to extend it with your own libraries or replace its own libraries.
Originally it was a part of the now defunct C-- project, then Christian Lindig rescued it from it and packaged as a standalone library, but he didn’t have much time to work on it. Recently he passed the project to me, so I’m now its maintainer, for better or worse.
Thanks to a patch by @Drup it can now be installed as an OPAM package, and I’ve made an effort to remove the dependency on lipsum and eliminate the fork of an old Hashtbl from its source tree.
From my quick tests it appears to work as expected, but since it never had real users, it needs as much testing as it can get. And a test suite. And features of Lua newer than the bronze age 2.5. And code clean-up. But the first steps towards reviving it have been made at least.