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)
  ☆107Updated this week
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆107Updated last month
• dginev / ar5ivist
  A turnkey command for converting a LaTeX source to ar5iv-style HTML
  ☆77Updated last month
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆58Updated this week
• Mathpix / mpx-cli
  CLI for document conversion for scientific documents, powered by Mathpix OCR
  ☆111Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆52Updated 4 years ago
• younader / Vesuvius-First-Letters
  ☆139Updated 2 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆333Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆310Updated 11 months ago
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆167Updated 2 years ago
• RickDW / manim-revealjs
  Plugins for using Manim animations in Reveal.js slide decks.
  ☆60Updated 3 years ago
• MathBases / MathBases
  ☆25Updated 3 weeks ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆30Updated 2 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆337Updated 2 weeks ago
• math-inc / strongpnt
  ☆255Updated last month
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated last month
• stone-zeng / latex-emoji
  Emoji support in (Lua)LaTeX
  ☆82Updated last year
• edemaine / texlish
  Better LaTeX that compiles to LaTeX
  ☆26Updated last month
• rougier / braincraft
  Braincraft challenge — 1000 neurons, 100 seconds, 10 runs, 2 choices, no reward
  ☆154Updated last month
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆202Updated last week
• vEnhance / 1802
  MIT 18.02 lecture notes on multivar
  ☆18Updated 3 weeks ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆19Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆252Updated last month
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated last month
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆46Updated last year