kirel / detexify-hs-backendLinks
Detexify Backend written in Haskell
☆914Updated 8 years ago
Alternatives and similar repositories for detexify-hs-backend
Users that are interested in detexify-hs-backend are comparing it to the libraries listed below
Sorting:
- Latex Symbol Classifier Web Frontend☆835Updated 2 years ago
- Instructions and license for Detexify's sample data☆287Updated 4 years ago
- Generate random nonsense math papers☆608Updated 5 years ago
- A LaTeX Typesetting Game☆258Updated 6 months ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,827Updated 5 months ago
- ☆343Updated 7 years ago
- L-Functions and Modular Forms Database☆277Updated last week
- A latex package to draw cute rubber ducks with TikZ☆186Updated 2 weeks ago
- A textbook on informal homotopy type theory☆2,105Updated last month
- An Inkscape extension for exporting SVG paths as TikZ/PGF paths☆694Updated 2 weeks ago
- TikZJax is TikZ running under WebAssembly in the browser☆526Updated last year
- The extensible drawing editor Ipe☆197Updated 2 years ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆913Updated last week
- PreTeXt: an authoring and publishing system for scholarly documents☆298Updated this week
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆330Updated 2 years ago
- A SymPy version of WolframAlpha.☆700Updated last year
- pgf/TikZ diagram editor☆1,198Updated last year
- Convert LaTeX documents into beautiful responsive web pages using LaTeXML.☆1,097Updated last year
- KtikZ provides a nice user interface for making pictures using TikZ.☆384Updated 3 months ago
- 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
- Repository for the Stacks Project☆959Updated 3 weeks ago
- Converts LaTeX documents to HTML☆290Updated 3 months ago
- A LaTeX package that executes Python and other code in LaTeX documents, and includes the output☆920Updated 6 months ago
- Style package for directly including color emojis in latex documents☆224Updated 6 years ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆990Updated last week
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- LaTeX facsimile of a Bible de Genève, 1564☆436Updated 2 years ago
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆564Updated this week
- CoCalc: Collaborative Calculation in the Cloud☆1,249Updated this week
- Backend processor for BibLaTeX☆367Updated last month