I submitted NESL for historical curiosity since it ran on all kinds of stuff when I studied supercomputing. This, though, is inspired by fact that Ocaml still doesn’t have multicore. This is most comprehensive take on concurrency and parallelism with active development that I saw in ML space. LinearML was another nice one that’s like ML mixed with Rust safety but abandoned in 2014 per Github commits. I wonder if either could benefit Ocaml’s situation.