GitHub repository: robertkiel/hotstuff
Description: Implementation of the HotStuff consensus protocol.