GitHub repository: pedrosoftz/yellowpaper
Primary language: TeX
Description: The "Yellow Paper": Ethereum's formal specification