golopot / tex-to-unicodeLinks
A browser extension to convert TeX to Unicode in browser inputs.
☆62Updated 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
Sorting:
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆319Updated last year
- Xy-pic extension for MathJax version 3☆37Updated 2 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- ☆22Updated this week
- metamath proof enumerators and other things☆93Updated 10 months ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆16Updated last year
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- Generate an AST and beautify LaTeX code☆71Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆111Updated 11 months ago
- Synchronization for TeX☆76Updated 4 months ago
- Metamath verifier in Python☆39Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- ☆87Updated last year
- A computer algebra system for research in combinatorial game theory☆41Updated last year
- Tag-based webview of LaTeX documents☆29Updated last year
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Commutative diagrams with TikZ☆52Updated 2 years ago
- The Lean 4 web editor☆91Updated last month
- HTML version of pgf-tikz documentation☆46Updated last month
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Formalization of the existence of sphere eversions☆41Updated last week
- Convert TeX's pascal to javascript☆134Updated 3 years ago
- ☆15Updated last year
- A formalized proof of Carleson's theorem in Lean☆55Updated last week
- An introduction to theorem proving in Lean for the impatient.☆198Updated 2 weeks ago
- Source code for the Mathematics in Lean tutorial.☆148Updated this week
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- A Lean file formatter☆67Updated 2 years ago
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago