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
• zoomlogo / vim-apl
  ☆11Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• razetime / code-golf
  All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)
  ☆11Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• darrenks / nibbles
  A codegolf language for mortals
  ☆32Updated 3 weeks ago
• molarmanful / sclin
  A concatenative cyborg chimera.
  ☆9Updated 4 months ago
• primo-ppcg / BF-Crunch
  ☆11Updated 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆35Updated last month
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆60Updated 4 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 3 years ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆13Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 5 months ago
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 2 years 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 last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated this week
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• nodepy / nodepy
  A Node.js-like runtime for Python.
  ☆31Updated 5 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• mdgaziur / bfvm
  Very overengineered Brainfuck compiler tools
  ☆9Updated 3 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆25Updated 4 months ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆14Updated last month