golopot / tex-to-unicodeLinks
A browser extension to convert TeX to Unicode in browser inputs.
☆62Updated 2 years 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.☆323Updated last year
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- Listing of online math seminars☆43Updated 10 months ago
- Synchronization for TeX☆77Updated last week
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- Generate an AST and beautify LaTeX code☆71Updated 2 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆223Updated this week
- Source code for the nLab☆180Updated 4 months ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- HTML version of pgf-tikz documentation☆49Updated 3 months ago
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆61Updated last year
- An introduction to theorem proving in Lean for the impatient.☆227Updated last week
- Convert TeX's pascal to javascript☆135Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- Plugin for Sublime for inserting unicode math symbols and emoji☆129Updated last year
- Jupyter kernel for Coq☆95Updated 11 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- ☆23Updated this week
- Theorem Proving in Lean 4☆201Updated last week
- Visual Studio Code Client for Wolfram Language Server☆35Updated 2 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆294Updated last week
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- The Lean 4 web editor☆99Updated last month
- Tag-based webview of LaTeX documents☆30Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆37Updated last year
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- FreeTikZ☆38Updated 7 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year