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
  ☆835Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆287Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆612Updated 5 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,829Updated 6 months ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆187Updated 2 weeks ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,255Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated 2 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,113Updated 2 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated last week
• 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 …
  ☆201Updated 8 years ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,200Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆701Updated last year
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,950Updated 5 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆918Updated last week
• nomeata / incredible
  The Incredible Proof Machine
  ☆385Updated 8 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆301Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆968Updated last week
• otfried / old-ipe-releases
  The extensible drawing editor Ipe
  ☆197Updated 2 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆333Updated 2 years ago
• xyz2tex / svg2tikz
  An Inkscape extension for exporting SVG paths as TikZ/PGF paths
  ☆695Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆639Updated this week
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆633Updated last year
• raphink / geneve_1564
  LaTeX facsimile of a Bible de Genève, 1564
  ☆440Updated 2 years ago
• fhackenberger / ktikz
  KtikZ provides a nice user interface for making pictures using TikZ.
  ☆383Updated 3 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,665Updated last year
• arxiv-vanity / engrafo
  Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
  ☆1,097Updated last year