GitHub repository: otim-project/en.ega.i
Primary language: TeX
Description: amateur translation (fr->en) project for Grothendieck's EGA I.