Alternatives and similar repositories for Knuths-O-Calculus

Users that are interested in Knuths-O-Calculus are comparing it to the libraries listed below

• Quuxplusone / TNT
  Douglas Hofstadter's "Typographical Number Theory"
  ☆16Updated last year
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆15Updated 7 years ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated last week
• jasongrout / multivariable-calculus
  A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra
  ☆38Updated 14 years ago
• Foundations-of-Applied-Mathematics / Advanced-Programming
  Advanced-Programming
  ☆25Updated 11 months ago
• gap-packages / francy
  An Interactive Discrete Mathematics Framework for GAP
  ☆9Updated 5 months ago
• amahabal / PySeqsee
  Python framework for writing programs to solve complex problems not amenable to brute force. The architecture is a descendant of Douglas …
  ☆32Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• taliesinb / spatial-game-theory
  A flexible Mathematica package for conducting experiments involving spatial game theory
  ☆53Updated 5 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
• alan-isaac / econpy
  Automatically exported from code.google.com/p/econpy
  ☆12Updated last month
• hplgit / virtual-classroom
  Scripts for automating GitHub classrooms.
  ☆16Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆25Updated 5 years ago
• CapaFenLisesi / IYPT-2017
  IYPT Projects for Capa Science High School Students
  ☆33Updated 7 years ago
• ABAtanasov / Representations
  An upcoming book on mathematical physics
  ☆14Updated 6 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated this week
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated last month
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 9 months ago
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 11 months ago
• jalanb / co.py.cat
  co.py.cat extends Hofstadter's, pythonically
  ☆58Updated 11 months ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month