IRC is actually somewhat federated, as one network can consist of multiple servers hosted by different people.