DXsmiley / rtexLinks
Minimal LaTeX rendering server
☆14Updated 3 years ago
Alternatives and similar repositories for rtex
Users that are interested in rtex are comparing it to the libraries listed below
Sorting:
- 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 2 years ago
- A version of Mathematica for golfing purposes.☆11Updated last year
- Metamath verifier in Python☆41Updated 8 months ago
- ☆11Updated 2 years ago
- My esoteric languages☆28Updated 3 years ago
- An experimental non-deterministic concatenative golfing language☆26Updated last month
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated last year
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- A 2d "programming language" based around triangles☆11Updated 2 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆66Updated 5 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated last week
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated 3 weeks ago
- A visual programming language, evaluated as a cellular automaton☆64Updated last week
- multilingual dictionary of mathematical terminology☆20Updated 3 months ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 6 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated 2 years ago
- Like APL, but with emojis☆15Updated 3 years ago
- Continuous benchmarking☆19Updated 2 weeks ago
- ☆24Updated 3 years ago
- Fork of Python with some terrible custom features hacked in☆14Updated 3 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- Plugin for Sublime for inserting unicode math symbols and emoji☆130Updated 2 years ago
- A codegolf language for mortals☆34Updated last month
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆34Updated 5 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Easy insertion of unicode math symbols☆50Updated 3 years ago