mvoidex / UnicodeMathLinks
Plugin for Sublime for inserting unicode math symbols and emoji
☆128Updated last year
Alternatives and similar repositories for UnicodeMath
Users that are interested in UnicodeMath are comparing it to the libraries listed below
Sorting:
- Insert Unicode LaTeX δ and Emoji 🍻 to Sublime Text☆24Updated 3 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago
- Commutative diagrams with TikZ☆52Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆196Updated last month
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Lean for the Curious Mathematician 2020☆66Updated last year
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- Let's translate works of Grothendieck☆25Updated 5 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated last year
- Prettify Symbols Mode for Visual Studio Code☆92Updated last year
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Jupyter kernel for Coq☆95Updated 9 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- metamath proof enumerators and other things☆93Updated 10 months ago
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 3 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Metamath program - source code for the Metamath executable☆82Updated 3 weeks ago
- Patoline typesetting system☆190Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- The extensible drawing editor Ipe☆199Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Public repository for Abstact Algebra Theory and Applications☆170Updated 2 weeks ago
- convert simple LaTeX expressions to unicode☆27Updated 7 years ago