Alternatives and similar repositories for book

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

• edemaine / topp
  The Open Problems Project
  ☆37Updated 3 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• MathBases / MathBases
  ☆23Updated last week
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆18Updated 8 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆70Updated 3 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆36Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last week
• ConnorGray / Vilfram
  Vi-like editing for Wolfram Notebooks
  ☆11Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆29Updated this week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated last week
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆21Updated 2 weeks ago
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆19Updated last year
• JerryI / wl-wlx
  Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps
  ☆17Updated last month
• cabralski / awesome-wolfram-language
  A curated list of Wolfram Language packages and resources.
  ☆39Updated 6 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
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆105Updated last week
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago