GitHub repository: zirco-lang/spec
Description: Design documents for the Zirco programming language