GitHub repository: subspace/protocol-specs
Primary language: JavaScript
Description: Formal specifications of the Subspace protocol