Alternatives and similar repositories for I2DM:

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

• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆16Updated 4 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• 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
• ekzhang / ekzhang.sty
  My personal LaTeX template, with sensible formatting and commands
  ☆16Updated 2 years ago
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆15Updated 2 weeks ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 9 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆29Updated 5 years ago
• PsychNeuro / ed1
  Psychology and Neuroscience: First Edition
  ☆16Updated 5 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆70Updated last year
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• chakravala / Math-Research-Notes
  Theorems, Definitions, Papers, Research
  ☆16Updated 5 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated 2 weeks ago
• brianamedee / 3B1B-Animated-Tutorials
  ☆15Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆47Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated this week
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆44Updated 2 weeks ago
• cduck / latextools
  A collection of tools for building, rendering, and converting Latex documents
  ☆24Updated last year
• MathBases / MathBases
  ☆18Updated 2 weeks ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated this week