DXsmiley / rtexLinks
Minimal LaTeX rendering server
☆14Updated 2 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 last year
- Typst styled badges, boxes and menu items.☆16Updated 5 months ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆51Updated 3 months ago
- Play tetris in typst☆12Updated last year
- Collection of animals and other beings drawn in TikZ☆97Updated 2 weeks ago
- Syntax trees for typst☆36Updated 7 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated 2 weeks ago
- An encyclopedia of proofs☆63Updated 10 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆64Updated this week
- Jupyter kernel for Coq☆95Updated last year
- Compile Tex files easily☆92Updated 2 years ago
- ☆38Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 4 months ago
- Package registry for Lean/Lake.☆24Updated last week
- Type safe type safety for Typst☆44Updated 7 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Plugin for Sublime for inserting unicode math symbols and emoji☆129Updated last year
- Metamath verifier in Python☆40Updated 3 months ago
- A functional scripting language.☆17Updated 8 months ago
- A version of Mathematica for golfing purposes.☆11Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Draw technical dimension lines in Latex / TikZ☆16Updated last year
- A browser extension to convert TeX to Unicode in browser inputs.☆63Updated last month
- A modern string diagram editor for the web.☆25Updated 5 months ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆31Updated this week
- VSCode extension that allows to speed up the drafting of .gitignore files.☆10Updated last year
- This repository contains the source html files for the website complex-analysis.com☆16Updated 3 months ago