4,227 skills found · Page 1 of 141
ManimCommunity / ManimA community-maintained Python framework for creating mathematical animations.
TheAlgorithms / C Plus PlusCollection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
CamDavidsonPilon / Probabilistic Programming And Bayesian Methods For Hackersaka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
TheAlgorithms / CCollection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
Experience-Monks / Math As Codea cheat-sheet for mathematical notation in code form
mml-book / Mml Book.github.ioCompanion webpage to the book "Mathematics For Machine Learning"
MathFoundationRL / Book Mathematical Foundation Of Reinforcement LearningThis is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
rossant / Awesome MathA curated list of awesome mathematics resources
tangyudi / AI Learn人工智能学习路线图，整理近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等热门领域
Theano / TheanoTheano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as PyTensor: www.github.com/pymc-devs/pytensor
ossu / Math🧮 Path to a free self-taught education in Mathematics!
dair-ai / Mathematics For ML🧮 A collection of resources to learn mathematics for machine learning
rocq-prover / RocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Chakazul / LeniaLenia - Mathematical Life Forms
pim-book / Programmers Introduction To MathematicsCode for A Programmer's Introduction to Mathematics
GargantuaX / Gemini Watermark RemoverA high-performance, 100% client-side tool for removing Gemini AI watermarks. Built with pure JavaScript, it leverages a mathematically precise Reverse Alpha Blending algorithm rather than unpredictable AI inpainting. / 基于 Javascript 的纯浏览器端 Gemini AI 图像无损去水印工具，使用数学精确的反向 Alpha 混合算法
TalalAlrawajfeh / Mathematics RoadmapA Comprehensive Roadmap to Mathematics
llSourcell / Learn Math FastThis is the Curriculum for "How to Learn Mathematics Fast" By Siraj Raval on Youtube
deepseek-ai / DeepSeek MathDeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
xtensor-stack / XsimdC++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))
