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