GitHub repository: zeldovich/algorand-specs
Primary language: Makefile
Description: Algorand Specifications