math
by ossu
🧮 Path to a free self-taught education in Mathematics!
AI summary
Math education platform
A comprehensive education platform in mathematics for individuals to learn math concepts on their own with support from a global community.
- stars
- 4.6K
- forks
- 472
- watching
- 82
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Data Science path
A structured curriculum and resource guide for self-taught Data Science education
Science education framework
A framework for teaching and practicing open science and reproducible research methods to early career scientists
Math educator
An interactive math education platform using Coq to provide an online learning experience
Arithmetic library
A header-only C++ template library providing custom arithmetic plug-in types for mixed-precision algorithm development and optimization in AI, Machine Learning, and other fields.
Math problems
Solutions to problem sets and exams of MIT Mathematics for Computer Science 2015
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Math framework
An open-source software framework that uses Swift to represent mathematical concepts as code
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Machine Learning Study Plan
A structured study plan to help software developers learn machine learning and become a machine learning engineer
Actuary software
Formalizes basic actuarial mathematics using Coq
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Mathematics foundation library
A proof assistant library implementing univalent foundations of mathematics
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
thealgorithms/c19.4K
Algorithm library
A collection of algorithms implemented in C for educational purposes
Machine Learning Course
An online learning platform covering various machine learning topics from basics to advanced algorithms
Featured in 1 awesome list
Each link jumps to the spot where the list mentions math.
