Alternatives and similar repositories for OpenCourse

Users that are interested in OpenCourse are comparing it to the libraries listed below

• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆335Updated last week
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆318Updated 3 years ago
• frederic-santos / taoanalysissolutions
  Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…
  ☆84Updated 2 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆89Updated 6 months ago
• carlosal1015 / Books
  Math & Physics Books
  ☆146Updated 5 years ago
• ccz181078 / Coq-BB5
  ☆302Updated last month
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• GaotangLi / Linear_Algebra_Done_Right_4th_ManualSolution
  ☆46Updated 6 months ago
• Matheart / manim-physics
  Physics simulation plugin of Manim that can generate scenes in various branches of Physics.
  ☆357Updated 9 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆346Updated 7 months ago
• ManimCommunity / awesome-manim
  A database with many Manim users and content creators
  ☆349Updated 2 weeks ago
• mactonya / algebra-chapter-0-solutions
  The solution to Algebra : Chapter 0 by Paolo Aluffi.
  ☆28Updated 11 months ago
• sleepymalc / Notes
  📝 The Lecture Notes
  ☆108Updated last month
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆102Updated 11 months ago
• luxiaodong / Book
  ☆303Updated 7 years ago
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated 2 months ago
• sleepymalc / LaTeX-Template
  📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers
  ☆152Updated 3 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆439Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆251Updated 5 months ago
• rangaeeeee / books-mir-mathematics
  ☆142Updated 6 years ago
• nipunramk / Reducible
  Repository containing all code for the videos on the Reducible YouTube channel
  ☆635Updated 2 years ago
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆606Updated this week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆89Updated last month
• vivek3141 / videos
  Source code for all the animations in my videos. Uses @3b1b's manim library
  ☆170Updated 11 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆46Updated 10 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆75Updated last month
• PratikAghor / lec_notes
  lecture notes that I wished were available somewhere
  ☆15Updated 2 years ago