Documentation and tools relating to the design and prototyping of Ouroboros Leios - View it on GitHub