git is remarkably simple in the core premise. I know nothing about paxos and tex though.