Alternatives and similar repositories for 00_General:

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

• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• planetmath / fem2016
  2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
  ☆17Updated 9 years ago
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆17Updated last week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• emacsmirror / auctex
  Integrated environment for *TeX*
  ☆13Updated 2 weeks ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 3 weeks ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated 2 weeks ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆124Updated 9 months ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆19Updated 4 months ago
• ajtulloch / CambridgeMathematicsPartIII
  ☆63Updated 10 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆31Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆81Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 12 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago