Alternatives and similar repositories for autolatex

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

• alexander-turner / TurnTrout.com
  A blog on AI, personal development, and living a good life.
  ☆27Updated last week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆107Updated last week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 3 years ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated 2 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆79Updated 3 months ago
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆74Updated 10 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆76Updated last week
• fcrozatier / SoME
  Summer of Math Exposition
  ☆31Updated 3 weeks ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆32Updated last month
• SorryDB / SorryDB
  SorryDB indexes sorries in public lean repositories
  ☆40Updated last week
• arXiv / arxiv-browse
  Flask app for article abstract and listing pages
  ☆175Updated last week
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆13Updated 2 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆196Updated last week
• math-inc / strongpnt
  ☆262Updated 2 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆316Updated 11 months ago
• ekzhang / dispict
  Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP
  ☆92Updated 10 months ago
• stone-zeng / latex-emoji
  Emoji support in (Lua)LaTeX
  ☆82Updated 2 years ago
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated 3 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆206Updated this week
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆59Updated last week
• younader / Vesuvius-First-Letters
  ☆139Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated last month
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆66Updated 9 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week