GitHub repository: marc0olo/protocol
Primary language: Python
Description: Specification of the aeternity blockchain protocol