GitHub repository: tweag/ouroboros-consensus
Description: Implementation of a Consensus Layer for the Ouroboros family of protocols