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
• 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 2 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆33Updated this week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆25Updated 3 weeks ago
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated 3 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated last week
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆79Updated 3 months ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 3 years ago
• MathBases / MathBases
  ☆26Updated last month
• dogezen / badgery
  Typst styled badges, boxes and menu items.
  ☆17Updated 7 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆112Updated 4 months ago
• PgBiel / typst-oxifmt
  Convenient Rust-like string formatting in Typst (previously "typst-strfmt")
  ☆59Updated 5 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆66Updated 3 weeks ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆36Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 3 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 4 years ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆41Updated 10 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆21Updated last year
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆41Updated 2 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆67Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 5 months ago
• lynn / typst-syntree
  Syntax trees for typst
  ☆41Updated last month
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago