golopot / tex-to-unicode
A browser extension to convert TeX to Unicode in browser inputs.
☆61Updated last year
Alternatives and similar repositories for tex-to-unicode:
Users that are interested in tex-to-unicode are comparing it to the libraries listed below
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆312Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated last month
- A LaTeX Typesetting Game☆246Updated last month
- Listing of online math seminars☆42Updated 6 months ago
- Xy-pic extension for MathJax☆61Updated 4 years ago
- Convert TeX's pascal to javascript☆121Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- metamath proof enumerators and other things☆93Updated 7 months ago
- The standard template to create a lean game☆24Updated 2 weeks ago
- Olympiad problem database☆48Updated 2 weeks ago
- HTML version of pgf-tikz documentation☆45Updated last month
- 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
- Generate an AST and beautify LaTeX code☆70Updated last year
- All the math/tex files for the Automorphic Project☆18Updated 9 months ago
- Python implementation of the monster group☆42Updated 3 weeks ago
- Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework☆97Updated last month
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Source files for https://web.evanchen.cc☆45Updated this week
- Synchronization for TeX☆74Updated last month
- Formalization of the existence of sphere eversions☆39Updated last week
- Tag-based webview of LaTeX documents☆28Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆196Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆23Updated 2 months ago
- Theorem Proving in Lean 4☆173Updated 4 months ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆145Updated this week
- The Slate Interactive Theorem Prover☆24Updated 2 years ago