Awesome Mathematical Software — curated papers, datasets & benchmarks · Awesome Large Language Models