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
- Repository for the QED interactive text and possible extensions☆97Updated 3 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆23Updated 3 months ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆317Updated last year
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆31Updated last year
- Xy-pic extension for MathJax☆62Updated 4 years ago
- HTML version of pgf-tikz documentation☆46Updated 3 weeks ago
- Generate an AST and beautify LaTeX code☆70Updated 2 years ago
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- A computer algebra system for research in combinatorial game theory☆39Updated last year
- A LaTeX Typesetting Game☆248Updated last month
- The extensible drawing editor Ipe☆199Updated last year
- Mathematical tools to use with amsmath☆63Updated 6 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Convert TeX's pascal to javascript☆132Updated 3 years ago
- ☆18Updated 3 weeks ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆362Updated this week
- A database app for ring theory☆22Updated 3 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Source code for the nLab☆174Updated last month
- Listing of online math seminars☆43Updated 7 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆207Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Theorem Proving in Lean 4☆178Updated 6 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated 4 months ago
- 💧 Liquid Tensor Experiment☆193Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆97Updated last month