Alternatives and similar repositories for rtex:

Users that are interested in rtex are comparing it to the libraries listed below

• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 4 months ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆10Updated 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
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• zoomlogo / vim-apl
  ☆11Updated 2 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• fbanados / research-howto
  Notes about research.
  ☆8Updated 3 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• darrenks / nibbles
  A codegolf language for mortals
  ☆31Updated last month
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆16Updated last year
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆34Updated last week
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆59Updated 3 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last month
• Kroneckera / bunkbed-counterexample
  ☆15Updated 5 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• diogoscf / github-lines
  A minimal and non-intrusive multi-platform bot to display lines from GitHub (or GitLab) links
  ☆61Updated 2 months ago
• prajwalsouza / Complex-Functions
  An interactive for visualizing complex functions based on a 3Blue1Brown video and also estimation of Riemann Zeta Function using Euler Ma…
  ☆16Updated 6 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated last month
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆48Updated this week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 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…
  ☆42Updated 2 months ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆17Updated this week