GitHub repository: KWARC/MOI
Primary language: Python
Description: Math Object Identifier Database