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
• YellPika / vscode-latex-input
  LaTeX-style unicode input for Visual Studio Code
  ☆11Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆70Updated 3 years ago
• coqtail / coqtail
  ☆10Updated 4 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• b-mehta / combinatorics
  ☆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
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last month
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆28Updated this week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 4 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆32Updated 6 months ago
• thautwarm / CanonicalTraits.jl
  Full-featured traits in Julia. Without full features how dare I say this?
  ☆66Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated 2 months ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated 2 years ago
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 4 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago