slatex / RusTeXLinks
A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
☆32Updated 3 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 7 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆40Updated last year
- 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, …☆55Updated 10 years ago
- Typst styled badges, boxes and menu items.☆17Updated 9 months ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆162Updated 4 months ago
- My Agda blog/lab/playground☆12Updated 2 weeks 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
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated last week
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Synchronization for TeX☆82Updated 5 months ago
- A Rust/WASM implementation of homotopy.io☆110Updated last week
- ☆21Updated 4 months ago
- depict – share mental models better☆39Updated 2 years ago
- Haskell parser for the djot light markup language☆27Updated 3 weeks ago
- ☆15Updated last year
- A new approach to literate programming.☆84Updated last year
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- Rust widget toolkit built on Reclutch☆11Updated 5 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- An experimental project to create an interactive programming language.☆18Updated 6 months ago
- Typst custom reader and writer for Pandoc☆47Updated 2 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆41Updated this week
- Text hyphenation for Rust☆57Updated 2 years ago