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)
  ☆91Updated this week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆323Updated last year
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆99Updated last week
• alexander-turner / TurnTrout.com
  A blog on AI, personal development, and living a good life.
  ☆23Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• MathBases / MathBases
  ☆23Updated this week
• dginev / ar5ivist
  A turnkey command for converting a LaTeX source to ar5iv-style HTML
  ☆72Updated last month
• jlaurens / synctex
  Synchronization for TeX
  ☆77Updated this week
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated 6 months ago
• teorth / expdb
  Exponent pair database
  ☆61Updated this week
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆166Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 11 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆64Updated last week
• Mathpix / mpx-cli
  CLI for document conversion for scientific documents, powered by Mathpix OCR
  ☆105Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆275Updated 8 months ago
• bhosmer / mm
  ☆136Updated 9 months ago
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆28Updated last week
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 8 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆51Updated last week
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆16Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆180Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆119Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 5 months ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆45Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆229Updated 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
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 2 months ago