Alternatives and similar repositories for unicode-latex:

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

• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆49Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• YellPika / vscode-latex-input
  LaTeX-style unicode input for Visual Studio Code
  ☆11Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆32Updated 7 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated this week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated last month
• wbhart / Nemo.jl
  My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl
  ☆98Updated 2 years ago
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆94Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 7 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago