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 2 months 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 11 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years 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, …
  ☆48Updated 9 years ago
• mstone / depict
  depict – share mental models better
  ☆38Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆36Updated 8 months ago
• ntjess / typst-tada
  ☆19Updated 8 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 5 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated 2 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆101Updated this week
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 10 months ago
• ncfavier / agda-stuff
  My Agda blog/lab/playground
  ☆13Updated 3 weeks ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆18Updated last month
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆35Updated last month
• lvignoli / typst-pandoc
  Typst custom reader and writer for Pandoc
  ☆46Updated 2 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• dalance / nom-packrat
  Extension of nom to apply "Packrat Parsing"
  ☆21Updated 7 months ago
• typst / biblatex
  A Rust crate for parsing and writing BibTeX and BibLaTeX files.
  ☆154Updated 2 weeks ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆64Updated this week
• lynn / typst-syntree
  Syntax trees for typst
  ☆36Updated 6 months ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 7 months ago