GitHub repository: mathlore/mathlingua
Primary language: Go
Description: MathLingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.