Alternatives and similar repositories for I2DM:

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

• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 2 months ago
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆16Updated 3 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last week
• yangky11 / lean4-example
  ☆12Updated 3 weeks 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…
  ☆19Updated last week
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 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
• PsychNeuro / ed1
  Psychology and Neuroscience: First Edition
  ☆15Updated 5 months ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• thomasahle / noisy-bayesian-optimization
  Bayesian Optimization for very Noisy functions
  ☆18Updated 3 years ago
• ImperialCollegeLondon / M1F-explained
  A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
  ☆11Updated last year
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆11Updated this week
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆23Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 10 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 3 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated 11 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• Alhadis / language-grammars
  Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
  ☆22Updated 2 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 8 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 6 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated last year
• chakravala / Math-Research-Notes
  Theorems, Definitions, Papers, Research
  ☆15Updated 5 years ago