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 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated last month
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆101Updated 2 years ago
• lynn / typst-syntree
  Syntax trees for typst
  ☆44Updated 4 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆35Updated this week
• zoomlogo / vim-apl
  ☆11Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆26Updated 9 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆40Updated last week
• dogezen / badgery
  Typst styled badges, boxes and menu items.
  ☆17Updated 9 months ago
• fgdorais / lean4-unicode-basic
  Basic Unicode support for Lean 4
  ☆15Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆92Updated 3 years ago
• gpoore / fvextra
  extensions for the LaTeX fancyvrb package, including a better \Verb, automatic line breaking, and improved math mode
  ☆27Updated 8 months 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 2 years ago
• 1000-plus / 1000-plus.github.io
  https://1000-plus.github.io/
  ☆22Updated 3 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated last week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• PgBiel / typst-oxifmt
  Convenient Rust-like string formatting in Typst (previously "typst-strfmt")
  ☆69Updated 8 months ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 weeks ago
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆66Updated 5 months ago
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 3 years ago
• ghseeli / grad-school-notes
  Our first-year mathematics graduate school notes
  ☆10Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• gustavwilliam / bestpy
  A module to find out what's best.
  ☆16Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆72Updated this week
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆19Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year