GitHub repository: linera-io/linera-summer-school-2023
Primary language: Rust
Description: Repository for the Linera 2023 summer school