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
  ☆836Updated 3 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆287Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months 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,836Updated 7 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆614Updated 5 years ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆189Updated 2 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆278Updated 3 weeks ago
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,957Updated 5 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆339Updated 2 years ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆702Updated last year
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,214Updated last year
• stacks / stacks-project
  Repository for the Stacks Project
  ☆982Updated 2 months ago
• fhackenberger / ktikz
  KtikZ provides a nice user interface for making pictures using TikZ.
  ☆386Updated 5 months ago
• xyz2tex / svg2tikz
  An Inkscape extension for exporting SVG paths as TikZ/PGF paths
  ☆703Updated last month
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,132Updated last month
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,264Updated this week
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆633Updated last year
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,283Updated 2 weeks ago
• plk / biblatex
  biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…
  ☆571Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• otfried / old-ipe-releases
  The extensible drawing editor Ipe
  ☆197Updated 2 years ago
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆929Updated 2 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆307Updated 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;…
  ☆1,012Updated last week
• nomeata / incredible
  The Incredible Proof Machine
  ☆388Updated last month
• islandoftex / arara
  arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…
  ☆415Updated 3 weeks ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆932Updated 2 weeks ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,156Updated 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 …
  ☆201Updated 9 years ago