Alternatives and similar repositories for RusTeX

Users that are interested in RusTeX are comparing it to the libraries listed below

• 8LWXpg / jupyter2typst
  Jupyter to Typst converter with template support
  ☆17Updated 4 months ago
• dogezen / badgery
  Typst styled badges, boxes and menu items.
  ☆17Updated 6 months ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated last month
• lvignoli / typst-pandoc
  Typst custom reader and writer for Pandoc
  ☆46Updated 2 years ago
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• ntjess / typst-tada
  ☆19Updated 2 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆37Updated 10 months ago
• 8l / pijul
  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 10 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• lynn / typst-syntree
  Syntax trees for typst
  ☆40Updated last month
• jlaurens / synctex
  Synchronization for TeX
  ☆79Updated 3 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆66Updated last week
• jfecher / golden-tests
  A golden file testing library for rust
  ☆37Updated last month
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆38Updated this week
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 3 months ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆27Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• Jeomhps / datify
  Datify is a Typst package for flexible, locale-aware date formatting. It leverages datify-core for internationalization and supports CLDR…
  ☆17Updated last month
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆33Updated this week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• ntjess / showman
  Automagic typst package documentation & development
  ☆17Updated 11 months ago
• ncfavier / agda-stuff
  My Agda blog/lab/playground
  ☆12Updated 2 months ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 4 years ago