GitHub repository: metanorma/mathml2asciimath
Primary language: Ruby
Description: Convert MathML to AsciiMath