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