Top 3 unification open source projects

AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

An OCaml library implementing unifiable abstract binding trees (UABTs)