Alternatives and similar repositories for 00_General

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

• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• planetmath / fem2016
  2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
  ☆18Updated 9 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆20Updated last month
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆103Updated 3 weeks ago
• planetmath / 03_Mathematical_logic_and_foundations
  ☆14Updated last year
• sympy / sympy_doc
  SymPy Documentation repository
  ☆34Updated this week
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last month
• planetmath / 68_Computer_science
  ☆19Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• mschuldt / pyel
  A Python to Emacs-Lisp Compiler
  ☆12Updated 8 years ago
• planetmath / 11_Number_theory
  ☆21Updated last year
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated last month
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆18Updated last month
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆25Updated 9 months ago
• rebcabin / tangledown
  Self-contained, one-step literate markdown.
  ☆24Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 3 months 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…
  ☆82Updated last year
• j2kun / essays
  Short essays I've written
  ☆78Updated last year