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
  ☆27Updated 9 months ago
• dubrousky / mockmma
  ☆28Updated 7 years ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆19Updated last month
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• planetmath / 03_Mathematical_logic_and_foundations
  ☆13Updated last year
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆28Updated 9 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• planetmath / 11_Number_theory
  ☆21Updated last year
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆24Updated 5 months ago
• AmziLS / PrologCourse
  Course materials for a Prolog course
  ☆11Updated 8 years ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆43Updated 2 weeks 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
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• planetmath / 05_Combinatorics
  ☆10Updated last year
• graninas / Haskell-Algorithms
  Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
  ☆17Updated 5 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 7 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• planetmath / fem2016
  2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
  ☆17Updated 8 years ago
• calebegg / proof-pad-classic
  An IDE for ACL2
  ☆21Updated 4 years 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
• higham / companion-applied-mathematics-bib
  BibTeX bibliography for The Princeton Companion to Applied Mathematics.
  ☆10Updated 9 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated 2 weeks ago
• enzuru / bsd-lisp-machine
  Turn a fresh BSD install into a Lisp workstation
  ☆14Updated 2 years ago
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 8 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆36Updated 10 years ago