YellPika / vscode-latex-inputLinks
LaTeX-style unicode input for Visual Studio Code
☆11Updated last year
Alternatives and similar repositories for vscode-latex-input
Users that are interested in vscode-latex-input are comparing it to the libraries listed below
Sorting:
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- FreeTikZ☆37Updated 7 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated last week
- Monadic expressions and sequences for Julia☆32Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- A graphical editor for graph-like structures☆99Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Relational Algebra, now with more algebra!☆54Updated last month
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years ago
- some maths papers in English☆18Updated this week
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Mirror of ocaml-forester☆45Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Real number computation software☆125Updated 2 years ago
- ☆23Updated 3 years ago
- C++ library for semigroups and monoids☆47Updated last week
- A parser combinator library for Julia☆109Updated last year
- BQN implementation in Julia☆18Updated 3 years ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆75Updated 6 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆54Updated 3 years ago
- The formal proof of the Odd Order Theorem☆31Updated 2 weeks ago
- The root repository for the SpectralSequences project.☆30Updated last week
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Haskell bindings to SymEngine☆26Updated last year