Alternatives and similar repositories for mws:

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

• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated last year
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆19Updated this week
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆61Updated this week
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 10 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last month
• dannycalegari / kleinian
  GLUT Kleinian group visualizer
  ☆26Updated 11 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated last week
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 10 months ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆14Updated 2 months 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
• michal-h21 / rdfref
  Cross-referencing system for LaTeX, inspired with RDF
  ☆16Updated 4 months ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 years ago
• OpenMath / CDs
  The OpenMath Content Dictionaries
  ☆12Updated 2 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆26Updated last week
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago