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
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• MathBases / MathBases
  ☆23Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• jlaurens / synctex
  Synchronization for TeX
  ☆76Updated 6 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆37Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mvoidex / UnicodeMath
  Plugin for Sublime for inserting unicode math symbols and emoji
  ☆128Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆21Updated last month
• lynn / typst-syntree
  Syntax trees for typst
  ☆36Updated 5 months ago
• aaronryank / Forked
  Two-dimensional esolang. WIP, please contribute
  ☆9Updated 7 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated 2 years ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆62Updated last year
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• so-okada / twXiv
  This app twXiv gives arXiv daily new submissions by tweets. We use python3 scripts. twXiv is not affiliated with arXiv.
  ☆20Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• Xirider / LiveCode
  Real-time python variable evaluation
  ☆15Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆29Updated this week
• 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
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆39Updated 3 months ago