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
  ☆819Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆276Updated 3 years ago
• otfried / old-ipe-releases
  The extensible drawing editor Ipe
  ☆200Updated last year
• 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;…
  ☆917Updated this week
• approach0 / search-engine
  A math-aware search engine.
  ☆346Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆261Updated 2 weeks ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆276Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆881Updated 4 months ago
• sagemath / sage-archive-2023-02-01
  This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…
  ☆2,006Updated 2 years ago
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆971Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 3 weeks ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,051Updated 7 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆309Updated last year
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆177Updated 2 weeks ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,149Updated last year
• adamyedidia / parsimony
  ☆339Updated 6 years ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆475Updated 7 months ago
• fhackenberger / ktikz
  KtikZ provides a nice user interface for making pictures using TikZ.
  ☆359Updated 7 months ago
• koka-lang / madoko
  Madoko is a fast markdown processor for high quality academic and technical articles
  ☆394Updated 5 months ago
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,072Updated 2 years ago
• brucemiller / LaTeXML
  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
  ☆1,016Updated this week
• josephwright / siunitx
  A comprehensive (SI) units package for LaTeX
  ☆365Updated 3 weeks ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆844Updated this week
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,907Updated 4 years ago
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆221Updated 5 years ago
• plastex / plastex
  plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…
  ☆298Updated 3 months ago
• latex3 / unicode-math
  XeLaTeX/LuaLaTeX package for using unicode/OpenType maths fonts
  ☆251Updated 6 months ago
• cben / mathdown
  Collaborative markdown with math
  ☆420Updated last year
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,375Updated this week