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
• 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
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆51Updated 2 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 3 weeks ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• zoomlogo / vim-apl
  ☆11Updated 2 years ago
• dogezen / badgery
  Typst styled badges, boxes and menu items.
  ☆16Updated last month
• uds-psl / coq-library-complexity
  ☆31Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 6 months ago
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• desmosinc / gifsmos
  A web app for creating animated GIFs from Desmos graphs
  ☆46Updated last year
• Vicfred / codeforces-haskell
  problems from codeforces solved in haskell
  ☆11Updated 5 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆23Updated this week
• razetime / code-golf
  All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)
  ☆11Updated last year
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated 9 months ago
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆40Updated last month
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆36Updated 2 years ago
• DorIsch0 / Pi-e
  A recipe for a nice cake that approximates pi when compiled in Chef
  ☆16Updated 3 years ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated last year
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 8 months ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 7 months ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆37Updated last month