Exceptions to the ABC conjecture in Lean
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
A Collection of useful Methods in Java
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
A collection of algorithms and data structures
kaldi-asr/kaldi is the official location of the Kaldi project.
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
人工智能学习路线图，整理近200个实战案例与项目，免费提供配套教材，零基础入门，就业实战！包括：Python，数学，机器学习，数据分析，深度学习，计算机视觉，自然语言处理，PyTorch tensorflow machine-learning,deep-learning data-analysis data-mining mathematics data-science artificial-intelligence python tensorflow tensorflow2 caffe keras pytorch algorithm numpy pandas matplotlib seaborn nlp cv等热门领域
Beautiful and accessible math in all browsers
A PyTorch-based Speech Toolkit
A curated list of awesome mathematics resources
