Alternatives and similar repositories for book

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

• MathBases / MathBases
  ☆22Updated last week
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated last week
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆34Updated last week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• peeterjoot / GAelectrodynamics
  Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/
  ☆15Updated last month
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 6 months ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆20Updated 9 months ago
• WolframResearch / LSPServer
  LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…
  ☆52Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• grtensor / grtensor
  GRTensorIII package for Maple
  ☆34Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆65Updated last week
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆14Updated 4 months ago
• BorisNLatosh / FeynGrav
  FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.
  ☆11Updated 6 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆25Updated this week
• WolframResearch / Chatbook
  Wolfram Notebooks + LLMs
  ☆92Updated this week
• cabralski / awesome-wolfram-language
  A curated list of Wolfram Language packages and resources.
  ☆38Updated 4 months ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• sagemanifolds / SageManifolds
  Jupyter notebooks and documentation for SageManifolds
  ☆52Updated last month
• edemaine / topp
  The Open Problems Project
  ☆35Updated 2 weeks ago
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated last week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆55Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• arkabokshi / asymptotics-perturbation-methods
  ☆37Updated 3 years ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆17Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 2 months ago