Alternatives and similar repositories for mws:

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

• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 7 months ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• OpenMath / CDs
  The OpenMath Content Dictionaries
  ☆12Updated 2 years ago
• WolframResearch / semantic-math
  ☆15Updated 5 years ago
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆16Updated 3 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated last week
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 7 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆17Updated last month
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆91Updated this week
• probonto / ontology
  ☆15Updated 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
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆58Updated 9 months ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 8 months ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• thosgood / translations
  some maths papers in English
  ☆18Updated 2 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆30Updated 4 years 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
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 9 years ago
• dannycalegari / kleinian
  GLUT Kleinian group visualizer
  ☆26Updated 10 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 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…
  ☆94Updated last week
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆14Updated this week
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week