Alternatives and similar repositories for I2DM

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

• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆56Updated 6 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last month
• fandreuz / BisPy
  BisPy - Python bisimulation library
  ☆16Updated 3 years ago
• MathBases / MathBases
  ☆23Updated last week
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆30Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆384Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆46Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 9 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• lennart-finke / knottingham
  A Tool for Drawing Pretty Knots.
  ☆58Updated last week
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆265Updated 2 months ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated last month
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆296Updated this week
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated last week
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆74Updated last week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• WolframResearch / Chatbook
  Wolfram Notebooks + LLMs
  ☆95Updated last week
• abetten / orbiter
  Classification of combinatorial objects
  ☆18Updated last week
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆254Updated last year
• Ludwiggle / JWLS
  Jupyter notebooks for Wolfram Language Scripts
  ☆14Updated 5 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 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
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆17Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last week
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 3 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago