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
  ☆833Updated 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,822Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆606Updated 5 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆182Updated last week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆275Updated this week
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,100Updated 2 weeks ago
• otfried / old-ipe-releases
  The extensible drawing editor Ipe
  ☆198Updated 2 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆200Updated 8 years ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,232Updated this week
• fhackenberger / ktikz
  KtikZ provides a nice user interface for making pictures using TikZ.
  ☆379Updated last month
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,947Updated 4 years ago
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,071Updated 3 years ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,191Updated last year
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated last year
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆626Updated this week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆630Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆327Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆297Updated last week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆949Updated this week
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆222Updated 6 years ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆990Updated last month
• xyz2tex / svg2tikz
  An Inkscape extension for exporting SVG paths as TikZ/PGF paths
  ☆691Updated 3 months ago
• plk / biblatex
  biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…
  ☆556Updated 2 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,259Updated last week
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆523Updated last year
• raphink / geneve_1564
  LaTeX facsimile of a Bible de Genève, 1564
  ☆430Updated 2 years ago