Các kho mã nguồn mở đang theo dõi của math-ai-org, sắp xếp theo số sao.
MathCode: Một tác nhân lập trình toán học tiên phong