GitHub repository: oduameh/ouroboros-leios
Description: Documentation and tools relating to the design and prototyping of Ouroboros Leios