jgm / typst-hsLinks
Haskell library for parsing and evaluating typst
☆59Updated last week
Alternatives and similar repositories for typst-hs
Users that are interested in typst-hs are comparing it to the libraries listed below
Sorting:
- Typst Package to typeset inference rule☆34Updated last month
- Haskell parser for the djot light markup language☆26Updated 8 months ago
- Syntax trees for typst☆34Updated 3 months ago
- Typst blog template based on Zola, typst.ts, and apollo.☆32Updated 9 months ago
- Type safe type safety for Typst☆43Updated 3 months ago
- Typst math typesetting for the web.☆72Updated 3 weeks ago
- Algorithm pseudocode typesetting library for Typst☆30Updated 2 weeks ago
- A typst wasm plugin to use graphviz directly inside documents☆119Updated 2 months ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆44Updated last week
- A Typst-friendly static Zettelkästen site generator.☆69Updated last week
- Typst-setting finite automata with CeTZ.☆95Updated 2 weeks ago
- A Language with Dependent Data and Codata Types☆104Updated 2 weeks ago
- Nix overlay for Lean 4, and lake2nix☆44Updated this week
- Flake template for Haskell repository☆38Updated 8 months ago
- Arrows for Typst paths and other stories☆31Updated 3 weeks ago
- A Typst package for typesetting pseudocode☆68Updated 11 months ago
- A formatter for typst☆32Updated 4 months ago
- A library for typesetting mathematical theorems in typst.☆17Updated 3 months ago
- Personal research notes☆16Updated 7 months ago
- A small Typst package for quick and easy in-document word counts.☆32Updated last month
- Template for documenting Typst Packages and Templates.☆46Updated last week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- Programming Language Foundations in Lean☆37Updated last month
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆28Updated 2 weeks ago
- Riemann sum graphs in Typst with CeTZ☆19Updated last year
- ☆64Updated last week
- emulate terminal screenshots in typst☆37Updated last year
- Book about using Lean with How To Prove It☆18Updated this week
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated last year
- My plugins and packages for typst☆27Updated 11 months ago