I guess you've heard of https://www.unison-lang.org/