Alternatives and similar repositories for unicode-math-vscode:

Users that are interested in unicode-math-vscode are comparing it to the libraries listed below

• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• ojsheikh / unicode-latex
  A visual studio code extension to insert Unicode symbols given LaTeX symbol names
  ☆29Updated last year
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• konn / vscode-generic-input-method
  Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
  ☆11Updated last year
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• chasenorman / CanonicalLean
  A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  ☆25Updated this week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆19Updated 10 months ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆79Updated 4 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆54Updated 2 weeks ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆35Updated 2 weeks ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year