gatapia / unicode-math-vscode
Easy insertion of unicode math symbols
☆50Updated last year
Alternatives and similar repositories for unicode-math-vscode:
Users that are interested in unicode-math-vscode are comparing it to the libraries listed below
- An implementation of a Zeilberger-style linear type theory.☆9Updated 3 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Xy-pic extension for MathJax version 3☆37Updated 2 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆29Updated last year
- A toy IO library for Arend☆18Updated 3 years ago
- The formal proof of the Odd Order Theorem☆29Updated 3 weeks ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- Monadic expressions and sequences for Julia☆32Updated 4 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated 8 months ago
- Decode DVI files generated by LuaTeX☆10Updated last year
- Mathematical notes and papers☆25Updated 3 weeks ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated 10 months ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- Typst Package to typeset inference rule☆29Updated 2 weeks 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
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated last year
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆60Updated last year
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 2 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- ☆22Updated 11 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- Mirror of ocaml-forester☆41Updated 7 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year