kirel / detexify-hs-backendLinks
Detexify Backend written in Haskell
☆916Updated 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☆286Updated 4 years ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,831Updated 7 months ago
- A LaTeX Typesetting Game☆260Updated 8 months ago
- Generate random nonsense math papers☆612Updated 5 years ago
- A textbook on informal homotopy type theory☆2,124Updated 3 weeks ago
- A simple visual editor for creating commutative diagrams.☆1,955Updated 5 years ago
- L-Functions and Modular Forms Database☆278Updated last week
- ☆345Updated 7 years ago
- A latex package to draw cute rubber ducks with TikZ☆190Updated last week
- pgf/TikZ diagram editor☆1,210Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆303Updated 2 weeks ago
- Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks;…☆1,008Updated 3 weeks ago
- A LaTeX package that executes Python and other code in LaTeX documents, and includes the output☆930Updated last month
- An open-source, customizable intermediate logic textbook☆1,237Updated 3 weeks ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆336Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆535Updated last year
- A Haskell library for converting LaTeX math to MathML.☆384Updated this week
- 2D & 3D TeX-Aware Vector Graphics Language☆647Updated last week
- Lean Theorem Prover☆2,154Updated 2 years ago
- Repository for the Stacks Project☆976Updated last month
- CoCalc: Collaborative Calculation in the Cloud☆1,262Updated this week
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,069Updated 3 years ago
- An Inkscape extension for exporting SVG paths as TikZ/PGF paths☆702Updated 3 weeks ago
- The extensible drawing editor Ipe☆197Updated 2 years ago
- KtikZ provides a nice user interface for making pictures using TikZ.☆386Updated 4 months ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆993Updated 2 weeks ago
- Style package for directly including color emojis in latex documents☆224Updated 6 years ago
- 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…☆330Updated 9 months ago
- Handwritten math expression parser☆692Updated 5 years ago