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