Alternatives and similar repositories for rtex

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

• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated this week
• 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
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated last week
• gpoore / fvextra
  extensions for the LaTeX fancyvrb package, including a better \Verb, automatic line breaking, and improved math mode
  ☆27Updated 3 months ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆64Updated 2 months ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 3 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 2 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 2 weeks ago
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• darrenks / nibbles
  A codegolf language for mortals
  ☆33Updated 5 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆31Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 11 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆64Updated this week
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 3 weeks ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated 3 weeks ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• mvoidex / UnicodeMath
  Plugin for Sublime for inserting unicode math symbols and emoji
  ☆129Updated last year
• yishn / reticule
  A new way to write and explore mathematical texts.
  ☆23Updated 8 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆46Updated last year
• PhelypeOleinik / lipsum
  150 paragraphs of Lorem ipsum dummy text for LaTeX
  ☆15Updated last year
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated this week
• srijan-paul / bark
  A static site generator that powers my blog
  ☆16Updated 2 months ago
• flugsio / chess_shapes
  2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks
  ☆10Updated 10 years ago