Unison is a bidirectional file synchronizer that keeps two replicas of a directory tree in sync across POSIX and Windows hosts.
Unison is a statically-typed functional programming language that identifies functions by content hash and stores code as ASTs in a database.