chiawendt / tex-to-unicodeLinks
A browser extension to convert TeX to Unicode in browser inputs.
☆63Updated last month
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.☆330Updated 2 years ago
- Convert TeX's pascal to javascript☆138Updated 4 years ago
- Listing of online math seminars☆43Updated this week
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- A LaTeX Typesetting Game☆256Updated 6 months ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- HTML version of pgf-tikz documentation☆50Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Synchronization for TeX☆77Updated 2 months ago
- Generate an AST and beautify LaTeX code☆71Updated 2 years ago
- Group theory visualization software in the browser☆256Updated last year
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆144Updated 11 months ago
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆60Updated 2 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆230Updated this week
- Plugin for Sublime for inserting unicode math symbols and emoji☆129Updated last year
- Source code for the nLab☆187Updated 6 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆523Updated last year
- TeX-to-MathML conversion library in JavaScript☆239Updated last week
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆33Updated last week
- FreeTikZ☆39Updated 7 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆300Updated last year
- Compile Tex files easily☆92Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- An introduction to theorem proving in Lean for the impatient.☆268Updated 3 weeks ago