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
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 3 years ago
- My esoteric languages☆28Updated 3 years ago
- An experimental non-deterministic concatenative golfing language☆26Updated 2 months ago
- A computer algebra system for research in combinatorial game theory☆54Updated last year
- Metamath verifier in Python☆40Updated 7 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Simple operating system for QEMU's virt board.☆11Updated 4 years ago
- Quantum Wordle☆14Updated 11 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- FreeTikZ☆41Updated 7 years ago
- A codegolf language for mortals☆34Updated 3 weeks ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆68Updated last month
- Syntax trees for typst☆44Updated 3 months ago
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- Hosts the website for mathlib and other Lean community infrastructure.☆70Updated last week
- https://1000-plus.github.io/☆19Updated 2 months ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 11 months ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 4 months ago
- ☆24Updated 3 years ago
- Synchronization for TeX☆81Updated 5 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆38Updated 8 months ago
- ☆38Updated 2 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- An encyclopedia of proofs☆64Updated last year
- Learn Lean and topology☆25Updated 2 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆39Updated last week
- Jupyter kernel for Coq☆95Updated last year
- Like APL, but with emojis☆15Updated 3 years ago
- Compile Tex files easily☆94Updated 3 years ago