Alternatives and similar repositories for rtex

Users that are interested in rtex are comparing it to the libraries listed below

• prajwalsouza / Maze-Solver
  Solves Mazes taking an image input, along with the starting and ending points. There are two Algorithms here which solve mazes. One of th…
  ☆18Updated last year
• gpoore / fvextra
  extensions for the LaTeX fancyvrb package, including a better \Verb, automatic line breaking, and improved math mode
  ☆27Updated 4 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• leanprover / velcom
  Continuous benchmarking
  ☆19Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last month
• chrisheunen / freetikz
  FreeTikZ
  ☆39Updated 7 years ago
• mvoidex / UnicodeMath
  Plugin for Sublime for inserting unicode math symbols and emoji
  ☆129Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆31Updated last month
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆25Updated last month
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆35Updated this week
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 3 weeks ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆66Updated last week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• iblech / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 5 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 4 months ago
• lynn / typst-syntree
  Syntax trees for typst
  ☆37Updated 2 weeks ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆65Updated last week
• jgm / unicode-collation
  Haskell implementation of the Unicode Collation Algorithm
  ☆17Updated 8 months ago