Alternatives and similar repositories for RusTeX

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

• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 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, …
  ☆46Updated 9 years ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆18Updated this week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 6 months ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last month
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• cedille / cedille2
  ☆15Updated 6 months ago
• 8LWXpg / jupyter2typst
  Jupyter to Typst converter with template support
  ☆17Updated 2 weeks ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆21Updated 6 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 6 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆21Updated last month
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• dwarfmaster / commutative-diagrams
  A coq plugin to deal with commutative diagrams
  ☆22Updated last week
• mirefek / sokoban.lean
  Sokoban implementation in lean for proving solvability / unsolvability
  ☆13Updated 4 years ago
• RalfJung / rustc-build-sysroot
  Build a rustc sysroot with custom flags
  ☆17Updated 2 weeks ago
• mstone / depict
  depict – share mental models better
  ☆37Updated 2 years ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆17Updated 7 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 10 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 3 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated 3 weeks ago
• conjure-cp / uniplate
  Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.
  ☆21Updated last week
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 9 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago