Alternatives and similar repositories for unicode-latex

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

• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 2 weeks ago
• YellPika / vscode-latex-input
  LaTeX-style unicode input for Visual Studio Code
  ☆11Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 7 months ago
• frelindb / agsyHOL
  ☆22Updated 9 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• lengyijun / goldbach_tm
  ☆20Updated 4 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆55Updated 10 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆32Updated 8 months ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆124Updated 2 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆28Updated 11 years ago
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆94Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago