LegNeato / mdbook-typstView external linksLinks
An mdBook backend to output Typst markup, pdf, png, or svg
☆76Dec 22, 2025Updated last month
Alternatives and similar repositories for mdbook-typst
Users that are interested in mdbook-typst are comparing it to the libraries listed below
Sorting:
- Convert between pulldown parser events for various markup formats☆24Dec 22, 2025Updated last month
- A mdbook backend powered by Pandoc.☆181Jan 7, 2026Updated last month
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Feb 9, 2026Updated last week
- A mdbook preprocessor for runnning arbitrary (shell) commands in a markdown file☆41Aug 12, 2025Updated 6 months ago
- A rust based mdbook preprocessor that allows you to execute code in your mdbook without any server. Python, Typescript, Javascript etc.☆29Sep 9, 2025Updated 5 months ago
- Formalising the WASM spec in Lean☆27Nov 14, 2025Updated 3 months ago
- mdBook preprocessor for indexing☆18Updated this week
- mdbook typst preprocessor☆14Updated this week
- Basic Unicode support for Lean 4☆15Updated this week
- #[derive(Iterator, DoubleEndedIterator, ExactSizeIterator, FusedIterator, Extend)] for enums.☆15Updated this week
- A local-first, terminal-based password manager built for people who care about security, simplicity, and control☆35Dec 31, 2025Updated last month
- A PDF backend for mdBook☆10Sep 5, 2021Updated 4 years ago
- Package registry for Lean/Lake.☆39Dec 19, 2025Updated last month
- SvgBob mdbook preprocessor which swaps code-blocks with neat SVG.☆92Feb 4, 2026Updated last week
- weavetui is a modern, robust, and modular Text User Interface (TUI) framework for Rust, built on top of ratatui and tokio☆24Oct 1, 2025Updated 4 months ago
- An experimental mutual induction tactic for Lean 4.☆22Jan 12, 2026Updated last month
- A theme builder macro for ratatui apps☆17Jan 17, 2026Updated 3 weeks ago
- Lib flatterer: A lib to make JSON flatterer☆17May 16, 2025Updated 8 months ago
- Yazi plugin to preview directories using eza☆23Feb 2, 2026Updated 2 weeks ago
- Extracts (tangles) code fragments from Markdown documents.☆17May 20, 2024Updated last year
- 🇳 🇽 🇻 🇮 🇲☆19Aug 21, 2025Updated 5 months ago
- ☆34Jan 26, 2025Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A Flexible Rust Crate for DOM Querying and Manipulation☆83Updated this week
- A lightweight Rust library for removing Arabic diacritics☆20Oct 16, 2022Updated 3 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated 3 weeks ago
- ☆16Jun 20, 2022Updated 3 years ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆36Aug 25, 2025Updated 5 months ago
- terminal password manager☆18Oct 24, 2024Updated last year
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- Experimental features for telescope in RUST? The safest telescope known to HUMANITY☆50Oct 22, 2021Updated 4 years ago
- Tool for compiling Lean to WASM☆24Mar 17, 2024Updated last year
- Chess in Lean 4☆31Updated this week
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- ☆19Nov 5, 2024Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Scope-based single and multithreaded profiling.☆35Sep 8, 2025Updated 5 months ago
- hopefully better yew highlighting and stuff for rust☆16Jun 10, 2022Updated 3 years ago
- OpenCV for Red☆23Jun 28, 2024Updated last year