Alternatives and similar repositories for math

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

• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆17Updated 3 years ago
• callummcdougall / ARENA_2.0
  Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
  ☆238Updated 5 months ago
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 10 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆134Updated last week
• AnneLivia / Competitive-Programming
  Repository of all my submissions to some competitive programming website (Online Judges), as well as, the implementation of some data str…
  ☆77Updated 3 years ago
• Lamiiine / Competitive-Programming-1
  ☆17Updated 7 years ago
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆79Updated 3 weeks ago
• harshitkgupta / Algorithms-Design-and-Analysis-Part-1
  all programming assignments and quiz of course offered by Stanford University in Coursera
  ☆76Updated 5 years ago
• adyavanapalli / stanford-introduction-to-mathematical-thinking
  Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
  ☆121Updated last year
• singleheart / programming-in-haskell
  My solutions for all exercises in "Programming in Haskell" 2nd ed.
  ☆64Updated last year
• jubnoske08 / linear_algebra
  Solutions to Linear Algebra Done Right, by Sheldon Axler.
  ☆394Updated 8 months ago
• kavyakvk / HarvardNotes
  Notes I've taken for classes at Harvard College starting Fall 2019 during lecture (not including Section, Homework, and Exam materials).
  ☆22Updated 5 years ago
• PacktPublishing / Practical-Discrete-Mathematics
  Practical Discrete Mathematics, published by Packt
  ☆138Updated last month
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
  ☆62Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆330Updated last year
• zarak / ml-roadmap
  Collection of resources for self-studying mathematics and machine learning.
  ☆55Updated 4 years ago
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆38Updated last year
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 5 months ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆55Updated 2 years ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆126Updated last month
• ChanchalKumarMaji / Introduction-to-Discrete-Mathematics-for-Computer-Science-Specialization
  [Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
  ☆113Updated 4 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆65Updated 2 years ago
• slotThe / slotThe.github.io
  ☆28Updated last week
• chsasank / llama.lisp
  Lisp dialect designed for HPC and AI
  ☆26Updated this week
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆266Updated 4 months ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆102Updated 2 months ago
• 3b1b / 3Blue1Brown.com
  ☆629Updated last week
• amirabbasasadi / mathematics-computerscience-courses
  A collection of awesome mathematics and computer science courses
  ☆139Updated last year