[hobofan]

That list looks like its very available to me? The only overlap with software are two unmaintained projects.

[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