math
Math education platform
A comprehensive education platform in mathematics for individuals to learn math concepts on their own with support from a global community.
🧮 Path to a free self-taught education in Mathematics!
5k stars
82 watching
472 forks
last commit: 4 months ago
Linked from 1 awesome list
mostafatouny/awesome-theoretical-computer-scienceRelated projects:
| Repository | Description | Stars |
|---|---|---|
| ossu/data-science | A structured curriculum and resource guide for self-taught Data Science education | 19,179 |
 cbahlai/osrr_course | A framework for teaching and practicing open science and reproducible research methods to early career scientists | 57 |
 gares/math-comp-school-2022 | An interactive math education platform using Coq to provide an online learning experience | 6 |
 stillwater-sc/universal | 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. | 424 |
 spamegg1/math-for-cs-solutions | Solutions to problem sets and exams of MIT Mathematics for Computer Science 2015 | 142 |
 coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 30 |
 taketo1024/swm-core | An open-source software framework that uses Swift to represent mathematical concepts as code | 191 |
 thery/mathcomp-extra | A collection of reusable mathematical components and algorithms implemented in Coq | 5 |
 zuzoovn/machine-learning-for-software-engineers | A structured study plan to help software developers learn machine learning and become a machine learning engineer | 28,216 |
 yosuke-ito-345/actuary | Formalizes basic actuarial mathematics using Coq | 21 |
| coq-community/math-classes | A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq | 162 |
 unimath/foundations | A proof assistant library implementing univalent foundations of mathematics | 241 |
 ilyasergey/pnp | A tutorial project on using Coq to mechanize mathematics with dependent types | 160 |
 thealgorithms/c | A collection of algorithms implemented in C for educational purposes | 19,440 |
 yorko/mlcourse.ai | An online learning platform covering various machine learning topics from basics to advanced algorithms | 9,831 |