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
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 7 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• mdgaziur / bfvm
  Very overengineered Brainfuck compiler tools
  ☆9Updated 3 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆62Updated this week
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated last year
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 9 months ago
• Vilin97 / linear-algebra-done-right
  ☆10Updated 2 years ago
• Blazify / blazex
  AOT compiled object oriented programming language
  ☆47Updated last year
• zoomlogo / vim-apl
  ☆11Updated 2 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• Thunno / Thunno2
  A concise golfing language
  ☆21Updated 4 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆28Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 7 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated 2 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆58Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 3 weeks ago
• ararslan / qqq-lang
  The ??? Programming Language
  ☆21Updated 7 years ago