slatex / RusTeXLinks
A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
☆32Updated 2 months ago
Alternatives and similar repositories for RusTeX
Users that are interested in RusTeX are comparing it to the libraries listed below
Sorting:
- Jupyter to Typst converter with template support☆17Updated 5 months ago
- Haskell parser for the djot light markup language☆27Updated last week
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆53Updated 10 years ago
- Typst styled badges, boxes and menu items.☆17Updated 8 months ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- Pijul <-> Git proxy☆22Updated 6 years ago
- Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.☆39Updated 10 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆40Updated 11 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Typst custom reader and writer for Pandoc☆46Updated 2 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- A visual-first, statically typed, pluggable, graph-based programming language☆27Updated 3 months ago
- My Agda blog/lab/playground☆12Updated this week
- Temporary/draft repository with luametatex☆38Updated this week
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- an interactive programming language☆50Updated last week
- An experimental project to create an interactive programming language.☆18Updated 5 months ago
- A human-friendly notation for Unicode symbols.☆32Updated this week
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 4 years ago
- Syntax trees for typst☆43Updated 2 months ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- provides a simple way to render text with ANSI escape sequences in typst☆23Updated 7 months ago
- ☆15Updated last year
- FingerTree implemented in rust☆27Updated 2 years ago
- A playground for thinking about what Rust could be like☆23Updated last year
- tree-sitter based syntax highlighting HTML rendering☆18Updated 2 years ago
- Haskell library for parsing and evaluating typst☆68Updated last week
- A functional scripting language.☆17Updated 11 months ago