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