slatex / RusTeXLinks
A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
☆31Updated 8 months ago
Alternatives and similar repositories for RusTeX
Users that are interested in RusTeX are comparing it to the libraries listed below
Sorting:
- 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, …☆46Updated 9 years ago
- Jupyter to Typst converter with template support☆17Updated last month
- ☆19Updated 7 months ago
- Haskell parser for the djot light markup language☆27Updated 10 months ago
- Haskell library for parsing and evaluating typst☆64Updated 2 months ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆31Updated this week
- depict – share mental models better☆37Updated 2 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 10 months ago
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆153Updated 2 months ago
- OpenType glyph rendering.☆25Updated 8 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- A new approach to literate programming.☆79Updated last year
- Tree-sitter syntax highlighting for code blocks in Typst.☆28Updated 5 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago
- Automagic typst package documentation & development☆17Updated 8 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Propositional logic with types in Rust☆62Updated 2 years ago
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆21Updated last week
- Web based Typst editor using WASM☆19Updated last year
- Typst custom reader and writer for Pandoc☆46Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 3 years ago
- My Agda blog/lab/playground☆13Updated this week
- Type safe type safety for Typst☆44Updated 5 months ago
- Syntax trees for typst☆36Updated 5 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆35Updated 7 months ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆30Updated last week
- Typst styled badges, boxes and menu items.☆16Updated 3 months ago