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
  ☆54Updated last week
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• thosgood / translations
  some maths papers in English
  ☆19Updated 2 weeks ago
• dannycalegari / kleinian
  GLUT Kleinian group visualizer
  ☆28Updated 11 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 4 months ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated last month
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated 9 months ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 3 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 4 years ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆217Updated 2 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated last week
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated last year
• OpenMath / CDs
  The OpenMath Content Dictionaries
  ☆15Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• OpenDreamKit / OpenDreamKit
  Main repository for sharing files and documents about OpenDreamKit
  ☆91Updated 5 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆31Updated 6 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 11 years ago
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆96Updated 6 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆32Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 weeks ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago