Event-chain Monte Carlo algorithms for hard-sphere systems | Synapse