tori will be rewritten in another programming language. But which one? The contenders are OCaml, Haskell and Rust and the decision will be made by implementing a simplistic subset of its functionality in an experimental project called iganaq.
For more details, the reasons behind the rewrite and the candidate languages, see the announcement here:
https://tori.jutty.dev/updates/iganaq
Or go straight to the code, where the OCaml implementation is almost done already: