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:
- 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 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
- Jupyter to Typst converter with template support☆18Updated 7 months ago
- My Agda blog/lab/playground☆12Updated last week
- Haskell parser for the djot light markup language☆27Updated last week
- Syntax trees for typst☆44Updated 4 months ago
- ☆15Updated last year
- Haskell library for parsing and evaluating typst☆68Updated last week
- depict – share mental models better☆39Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Updated last year
- Typst custom reader and writer for Pandoc☆47Updated 2 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated last year
- Temporary/draft repository with luametatex☆38Updated this week
- A simple prolog implementation in Rust☆26Updated 5 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 3 years ago
- tree-sitter based syntax highlighting HTML rendering☆18Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Tree-sitter syntax highlighting for code blocks in Typst.☆34Updated 11 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 5 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- regexes for trees; grep for s-exprs☆18Updated last year
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- Native Markdown and Djot support for the SILE typesetting system☆45Updated 4 months ago
- A Rust port of Jane Street's Incremental library.☆30Updated last year
- ☆21Updated 5 months ago
- A small DSL to generate syntax diagrams☆59Updated 9 months ago