czhang03 / unicode-math-vscode
Easy insertion of unicode math symbols
☆10Updated last week
Alternatives and similar repositories for unicode-math-vscode:
Users that are interested in unicode-math-vscode are comparing it to the libraries listed below
- Julia package for the Singular library☆35Updated this week
- Interface to Polymake using CxxWrap☆29Updated last week
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆63Updated 2 years ago
- Mathematical tools to use with amsmath☆63Updated 7 months ago
- GAP packages for Julia integration☆75Updated this week
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Run python code in typst☆33Updated last year
- Julia implementation of the Debug Adapter Protocol☆44Updated this week
- A domain specific language (DSL) for probabilistic graphical models☆43Updated this week
- HTML version of pgf-tikz documentation☆46Updated 3 weeks ago
- Finite fields for Julia☆48Updated last month
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 5 months ago
- Find and view documentation in TeX Live☆51Updated 2 weeks ago
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆38Updated last year
- Translate LaTeX or TeX math markup to typst☆28Updated 3 months ago
- Prime numbers in Julia☆100Updated last month
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- A package for marking and annotating in math blocks in Typst.☆32Updated 2 weeks ago
- TeXmacs plugin for the Julia language☆16Updated 3 months ago
- A library for typesetting mathematical theorems in typst.☆17Updated 2 months ago
- ☆10Updated 7 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆38Updated last month
- Building dynamical systems compositionally☆69Updated 6 months ago
- Show dependency tree of Julia project☆86Updated 3 months ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- A Typst package for various enhancements for mathematical expressions.☆24Updated 2 weeks ago
- Template for blueprint-driven formalization projects in Lean.☆49Updated last week
- A simple static type checker that enforces C-style programming in Julia☆27Updated 3 months ago
- Lattice reduction and other lattice tools in Julia☆49Updated 4 months ago