Alternatives and similar repositories for step-resources:

Users that are interested in step-resources are comparing it to the libraries listed below

• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• ShereenElaidi / mathnotes
  Math notes from my whole degree :-) (And one CS class, and some fun physics)
  ☆22Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆87Updated 3 months ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆51Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated last year
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 5 years ago
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆65Updated 11 months 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…
  ☆77Updated 2 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆72Updated 10 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 5 years ago
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆107Updated 11 months ago
• tducvu / LectureNotes
  My typed-up math lecture notes
  ☆14Updated 2 years ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆114Updated last week
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆85Updated last year
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆226Updated 2 months ago
• PratikAghor / lec_notes
  lecture notes that I wished were available somewhere
  ☆15Updated 2 years ago
• wmboyles / Math-Summaries
  Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.
  ☆76Updated 2 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,375Updated this week
• OpenCoreCH / ethz_cs_summaries
  Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science
  ☆145Updated 3 years ago
• yuchenWYC / Yuchen-UofT-notes
  A better method learning Math & Stats
  ☆54Updated 5 months ago
• Dakkers / UW-Course-Notes
  some lecture notes from the University of Waterloo.
  ☆87Updated 9 years ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆43Updated last week
• ashwinahuja / Cambridge-Computer-Science-Tripos-Notes
  Personal Notes for Computer Science Tripos at University of Cambridge (2017-2020)
  ☆42Updated 4 years ago
• quantprep / quantinternships2022
  ☆377Updated 2 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆70Updated 2 weeks ago
• gillescastel / masterthesis
  Master Thesis
  ☆188Updated 3 years ago
• adyavanapalli / stanford-introduction-to-mathematical-thinking
  Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
  ☆112Updated 2 months ago