GitHub repository: maxtori/linera-protocol
Description: Main repository for the Linera protocol