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 8 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆14Updated 2 weeks ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆58Updated 9 months ago
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆16Updated 4 months ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 8 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 7 years ago
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆17Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆44Updated 3 weeks ago
• dannycalegari / kleinian
  GLUT Kleinian group visualizer
  ☆26Updated 10 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• OpenMath / CDs
  The OpenMath Content Dictionaries
  ☆12Updated 2 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated last year
• WolframResearch / semantic-math
  ☆16Updated 5 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆31Updated 4 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 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 3 weeks ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• probonto / ontology
  ☆15Updated last year