chiawendt / tex-to-unicodeLinks
A browser extension to convert TeX to Unicode in browser inputs.
☆63Updated 3 months ago
Alternatives and similar repositories for tex-to-unicode
Users that are interested in tex-to-unicode are comparing it to the libraries listed below
Sorting:
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆335Updated 2 years ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆107Updated 9 months ago
- Synchronization for TeX☆79Updated 3 months ago
- Listing of online math seminars☆43Updated last month
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆60Updated 2 years ago
- Convert TeX's pascal to javascript☆139Updated 4 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Jupyter kernel for Coq☆95Updated last year
- Olympiad problem database☆54Updated last month
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Generate an AST and beautify LaTeX code☆71Updated 2 years ago
- HTML version of pgf-tikz documentation☆52Updated 2 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆238Updated last week
- A computer algebra system for research in combinatorial game theory☆51Updated last year
- Cocreate Shared Whiteboard/Drawing☆218Updated 6 months ago
- Xy-pic extension for MathJax☆63Updated 4 years ago
- FreeTikZ☆40Updated 7 years ago
- Source code for the nLab☆189Updated 8 months ago
- ☆25Updated last month
- A database app for ring theory☆22Updated 2 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Theorem Proving in Lean 4☆219Updated last month
- Some Lean tutorials☆183Updated 2 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆145Updated last year
- An introduction to theorem proving in Lean for the impatient.☆290Updated 2 weeks ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆396Updated last week
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆69Updated 2 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆528Updated last year