Alternatives and similar repositories for Knuths-O-Calculus:

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

• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 7 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 8 months ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆40Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• Quuxplusone / TNT
  Douglas Hofstadter's "Typographical Number Theory"
  ☆16Updated last year
• ABAtanasov / Representations
  An upcoming book on mathematical physics
  ☆14Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated last month
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆13Updated 6 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
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 7 months ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• emptymalei / statisticalphysics
  open source E-book on statistical physics
  ☆44Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 6 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• CapaFenLisesi / IYPT-2017
  IYPT Projects for Capa Science High School Students
  ☆34Updated 7 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 6 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 2 years ago
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• thosgood / translations
  some maths papers in English
  ☆18Updated 2 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 last month
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated last month