kirel / detexify-hs-backendLinks
Detexify Backend written in Haskell
☆911Updated 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☆831Updated 2 years ago
- Instructions and license for Detexify's sample data☆285Updated 3 years ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,816Updated 2 months ago
- Generate random nonsense math papers☆601Updated 5 years ago
- A LaTeX Typesetting Game☆256Updated 4 months ago
- An open-source, customizable intermediate logic textbook☆1,181Updated 2 weeks ago
- CoCalc: Collaborative Calculation in the Cloud☆1,225Updated this week
- A textbook on informal homotopy type theory☆2,090Updated 2 weeks ago
- A simple visual editor for creating commutative diagrams.☆1,941Updated 4 years ago
- An Inkscape extension for exporting SVG paths as TikZ/PGF paths☆686Updated last month
- A latex package to draw cute rubber ducks with TikZ☆180Updated last week
- KtikZ provides a nice user interface for making pictures using TikZ.☆374Updated last week
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆988Updated this week
- Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks;…☆976Updated 3 weeks ago
- L-Functions and Modular Forms Database☆273Updated last week
- 2D & 3D TeX-Aware Vector Graphics Language☆613Updated this week
- Lean Theorem Prover☆2,152Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆512Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆294Updated last week
- A math-aware search engine.☆348Updated last year
- A LaTeX package that executes Python and other code in LaTeX documents, and includes the output☆909Updated 3 months ago
- A Haskell library for converting LaTeX math to MathML.☆372Updated this week
- Markdown and LaTeX online editor - create text for web with equations and diagrams☆359Updated 2 weeks ago
- ☆343Updated 7 years ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆323Updated last year
- Repository for the Stacks Project☆935Updated this week
- A Portable Graphic Format for TeX☆1,245Updated last month
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆550Updated 3 weeks ago
- pgf/TikZ diagram editor☆1,186Updated last year
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago