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
  ☆40Updated 6 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 3 weeks ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated 3 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 5 months ago
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆23Updated 3 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆31Updated 6 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated 2 years ago
• dannycalegari / kleinian
  GLUT Kleinian group visualizer
  ☆28Updated 11 years ago
• thosgood / translations
  some maths papers in English
  ☆19Updated last month
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆77Updated 3 months ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated 10 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated last year
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago
• UCSD-PL / proverbot9001
  ☆43Updated 3 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆110Updated 10 months 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
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• OpenDreamKit / OpenDreamKit
  Main repository for sharing files and documents about OpenDreamKit
  ☆91Updated 5 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago