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)
  ☆116Updated this week
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆60Updated this week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆340Updated 2 years ago
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆113Updated last month
• teorth / optimizationproblems
  A collection of optimization problems in mathematics
  ☆175Updated this week
• fcrozatier / SoME
  Summer of Math Exposition
  ☆31Updated last week
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆458Updated this week
• 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
  ☆114Updated 2 years ago
• edemaine / texlish
  Better LaTeX that compiles to LaTeX
  ☆26Updated 3 months ago
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆13Updated 2 years ago
• WolframResearch / Chatbook
  Wolfram Notebooks + LLMs
  ☆103Updated this week
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 3 years ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆59Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆250Updated this week
• dginev / ar5ivist
  A turnkey command for converting a LaTeX source to ar5iv-style HTML
  ☆81Updated last month
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 3 months ago
• acornprover / acornlib
  Acorn's standard library of mathematical facts.
  ☆48Updated last week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆327Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆329Updated last year
• math-inc / strongpnt
  ☆290Updated 4 months ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆19Updated 2 years ago
• kagisearch / llm-chess-puzzles
  Benchmark LLM reasoning capability by solving chess puzzles.
  ☆89Updated 9 months ago
• 7ijme / eqalc
  Convert Typst equations into functions
  ☆27Updated 2 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆82Updated 5 months ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated 3 weeks ago
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆63Updated 3 weeks ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago