ojsheikh / unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names
☆28Updated last year
Related projects ⓘ
Alternatives and complementary repositories for unicode-latex
- Easy insertion of unicode math symbols☆47Updated last year
- Xy-pic extension for MathJax version 3☆35Updated 2 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated 7 months ago
- Xy-pic extension for MathJax☆61Updated 3 years ago
- ☆34Updated last year
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Prettify Symbols Mode for Visual Studio Code☆86Updated last year
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Easy Unicode input for Atom☆40Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- FreeTikZ☆36Updated 6 years ago
- ☆21Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Enter Unicode characters using LaTeX notation☆92Updated 10 months ago
- Python package to convert LaTeX markup to DOM☆14Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated last year
- Theorem proving in Lean☆48Updated last month
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- ☆24Updated 2 months ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆99Updated 2 years ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- A semantic Extension of TeX/LaTeX☆50Updated this week