Alternatives and similar repositories for mws:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆60Updated 10 months ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 9 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 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 2 months ago
• PreTeXtBook / pretext-projects
  Data about projects authored and distributed with PreTeXt.
  ☆9Updated last year
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆19Updated 5 months ago
• OpenMath / CDs
  The OpenMath Content Dictionaries
  ☆12Updated 2 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• michal-h21 / rdfref
  Cross-referencing system for LaTeX, inspired with RDF
  ☆16Updated 4 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated last year
• dannycalegari / kleinian
  GLUT Kleinian group visualizer
  ☆26Updated 11 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• agrbin / svgtex
  Using MathJax and PhantomJS to create SVGs on server side with minimum overhead.
  ☆70Updated 9 years ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 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
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆36Updated 2 years ago
• stared / tag-graph-map-of-stackexchange
  Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.
  ☆53Updated 10 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• sagemathinc / smc-public
  See https://github.com/sagemathinc/smc instead!
  ☆22Updated 6 years ago
• embray / gappy
  Python interface to GAP
  ☆15Updated 9 months ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• OpenMath / py-openmath
  An OpenMath 2.0 implementation in Python
  ☆15Updated 4 years ago
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated 7 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆93Updated last month
• mathjax / MathJax-third-party-extensions
  A collection of MathJax extensions provided by third-party contributors
  ☆77Updated 4 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆72Updated 3 years ago