Alternatives and similar repositories for rtex:

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

• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆23Updated last week
• varkor / tangle
  A modern string diagram editor for the web.
  ☆20Updated last year
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated 3 weeks ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆10Updated last year
• TrueBoxGuy / Iocularia
  ☆9Updated 3 years ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last year
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆16Updated 2 weeks 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
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 months ago
• PopClom / GOLAD
  A Javascript version of carykh's GOLAD
  ☆13Updated 7 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• Alhadis / language-grammars
  Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.
  ☆22Updated 2 years ago
• razetime / code-golf
  All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)
  ☆11Updated 10 months ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆40Updated last week
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆11Updated 4 months ago
• valentjn / class-notes
  LaTeX-ed class notes (German) taken during various mathematics and computer science classes
  ☆13Updated 4 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated last week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• 1Computer1 / errata
  Source code error pretty printing
  ☆47Updated last month
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆27Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 7 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆68Updated 2 weeks ago