Alternatives and similar repositories for autolatex

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

• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆113Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated this week
• Mathpix / mpx-cli
  CLI for document conversion for scientific documents, powered by Mathpix OCR
  ☆113Updated 2 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆81Updated 4 months ago
• gillescastel / instant-reference
  Instant Pdf Referencing
  ☆70Updated 3 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆336Updated 2 years ago
• vEnhance / 1802
  MIT 18.02 lecture notes on multivar
  ☆21Updated this week
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 2 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆37Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆53Updated last year
• SorryDB / SorryDB
  SorryDB indexes sorries in public lean repositories
  ☆40Updated this week
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 3 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆321Updated last year
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆112Updated 2 weeks ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆307Updated last week
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆52Updated 3 months ago
• alexander-turner / TurnTrout.com
  A blog on AI, personal development, and living a good life.
  ☆29Updated this week
• MathBases / MathBases
  ☆26Updated 2 months ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆66Updated 10 months ago
• lvignoli / typst-pandoc
  Typst custom reader and writer for Pandoc
  ☆46Updated 2 years ago
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆169Updated 3 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 3 years ago
• teorth / expdb
  Exponent pair database
  ☆63Updated this week
• dginev / ar5ivist
  A turnkey command for converting a LaTeX source to ar5iv-style HTML
  ☆80Updated this week
• fcrozatier / SoME
  Summer of Math Exposition
  ☆31Updated last month
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆78Updated last week
• vEnhance / von
  Olympiad problem database
  ☆54Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆260Updated 8 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated 2 weeks ago