Alternatives and similar repositories for 00_General:

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

• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆19Updated 3 months ago
• dubrousky / mockmma
  ☆28Updated 7 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• planetmath / fem2016
  2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
  ☆17Updated 8 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated 2 weeks ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• dmb2 / hitchhikers-guide-to-hep
  DON'T PANIC (a not so useful guide to High Energy Physics software)
  ☆13Updated 3 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated this week
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 10 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• planetmath / 03_Mathematical_logic_and_foundations
  ☆13Updated last year
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆17Updated 10 years ago
• higham / companion-applied-mathematics-bib
  BibTeX bibliography for The Princeton Companion to Applied Mathematics.
  ☆10Updated 9 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• OpenLogicProject / forallx-cam
  Tim Button's Cambridge version of forallx
  ☆12Updated 6 years ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆29Updated 10 months ago
• bamos / beamer-snippets
  Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.
  ☆110Updated 9 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆51Updated 14 years ago
• jasongrout / multivariable-calculus
  A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra
  ☆38Updated 13 years ago
• TeX-Live / tlcockpit
  GUI for tlmgr written in Scala
  ☆27Updated 3 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 weeks ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 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