Alternatives and similar repositories for detexify-hs-backend

Users that are interested in detexify-hs-backend are comparing it to the libraries listed below

• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆831Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 3 years ago
• gpoore / minted
  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…
  ☆1,816Updated 2 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆601Updated 5 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 4 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,181Updated 2 weeks ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,225Updated this week
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,090Updated 2 weeks ago
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,941Updated 4 years ago
• xyz2tex / svg2tikz
  An Inkscape extension for exporting SVG paths as TikZ/PGF paths
  ☆686Updated last month
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆180Updated last week
• fhackenberger / ktikz
  KtikZ provides a nice user interface for making pictures using TikZ.
  ☆374Updated last week
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆988Updated this week
• cmhughes / latexindent.pl
  Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks;…
  ☆976Updated 3 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆273Updated last week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆613Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated last year
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆512Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆294Updated last week
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆909Updated 3 months ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆372Updated this week
• parpalak / upmath.me
  Markdown and LaTeX online editor - create text for web with equations and diagrams
  ☆359Updated 2 weeks ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆323Updated last year
• stacks / stacks-project
  Repository for the Stacks Project
  ☆935Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,245Updated last month
• plk / biblatex
  biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…
  ☆550Updated 3 weeks ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,186Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 6 months ago