slatex / RusTeXLinks
A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
☆32Updated 11 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 3 months ago
- 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, …☆51Updated 9 years ago
- Web based Typst editor using WASM☆21Updated last year
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- depict – share mental models better☆38Updated 2 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Haskell parser for the djot light markup language☆27Updated 3 weeks ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- Synchronization for TeX☆78Updated 2 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆37Updated 9 months ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 6 months ago
- ☆19Updated last month
- Advanced book classes and packages for the SILE typesetting system: A path for making books from front cover to back cover.☆36Updated last month
- Typst styled badges, boxes and menu items.☆17Updated 6 months ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Typst custom reader and writer for Pandoc☆46Updated 2 years ago
- Turn the release crank.☆28Updated 2 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Extension of nom to apply "Packrat Parsing"☆21Updated 8 months ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆15Updated 4 years ago
- Syntax trees for typst☆37Updated 2 weeks ago
- Native Markdown and Djot support for the SILE typesetting system☆44Updated 2 weeks ago
- Haskell library for parsing and evaluating typst☆65Updated last month
- A command-line tool that gives information about Unicode characters☆43Updated 4 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- an interactive programming language☆49Updated last week