dtbinh / OpenCourseLinks
☆159Updated 6 years ago
Alternatives and similar repositories for OpenCourse
Users that are interested in OpenCourse are comparing it to the libraries listed below
Sorting:
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆89Updated 2 years ago
- Math & Physics Books☆148Updated 6 years ago
- A Lean companion to Analysis I☆772Updated this week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- ☆145Updated 6 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 7 months ago
- The user home repository for the Mathematics in Lean tutorial.☆373Updated 3 weeks ago
- Server to host lean games.☆278Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆264Updated 6 months ago
- 📝 The Lecture Notes☆130Updated 3 weeks ago
- My collection of handouts and lecture notes (finished and unfinished)☆30Updated last year
- ☆309Updated 7 years ago
- Completed MIT OCW 8.01SC☆34Updated 3 years ago
- Physics simulation plugin of Manim that can generate scenes in various branches of Physics.☆362Updated 10 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆112Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆69Updated last year
- Lecture notes from Cambridge maths☆68Updated last year
- ☆243Updated 10 months ago
- LaTeX sources for notes for the maths courses at Cambridge.☆104Updated last year
- My solutions to "Linear Algebra Done Right" by Sheldon Axler, 4th Edition. ------ on update.☆55Updated last year
- LaTeX code for some of my lecture notes☆350Updated 3 years ago
- latex code from my first year of engineering.☆362Updated 4 months ago
- ☆50Updated 7 months ago
- Source code to my videos.☆81Updated last year
- ☆110Updated 3 years ago
- Source code for all the animations in my videos. Uses @3b1b's manim library☆172Updated last year
- Computer science books Recommended by AzatAI. (Education ONLY)☆1,014Updated last year
- Collection of about 180 books in Physics (Advanced Level)☆14Updated last month
- "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan☆79Updated 4 years ago
- ☆34Updated 2 months ago