[vidarh]

It's incomplete. There's at least the Unison file synchronizer as well:

https://www.cis.upenn.edu/~bcpierce/unison/

[refried_]

And the Unison programming language:

https://www.unisonweb.org