jgm / typst-hs
Haskell library for parsing and evaluating typst
☆55Updated 3 weeks ago
Alternatives and similar repositories for typst-hs:
Users that are interested in typst-hs are comparing it to the libraries listed below
- Typst Package to typeset inference rule☆34Updated last week
- Syntax trees for typst☆33Updated 2 months ago
- Haskell parser for the djot light markup language☆25Updated 6 months ago
- Typst-setting finite automata with CeTZ.☆80Updated last month
- Type safe type safety for Typst☆40Updated 2 months ago
- A Language with Dependent Data and Codata Types☆99Updated last week
- Typst math typesetting for the web.☆69Updated 9 months ago
- A typst wasm plugin to use graphviz directly inside documents☆116Updated 3 weeks ago
- Typst blog template based on Zola, typst.ts, and apollo.☆30Updated 7 months ago
- A Typst-friendly static Zettelkästen site generator.☆60Updated this week
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆43Updated 2 months ago
- Algorithm pseudocode typesetting library for Typst☆22Updated last year
- Template for documenting Typst Packages and Templates.☆44Updated 2 months ago
- Book about using Lean with How To Prove It☆18Updated 3 months ago
- A formatter for typst☆31Updated 3 months ago
- A library for typesetting mathematical theorems in typst.☆17Updated last month
- A Typst package for typesetting pseudocode☆66Updated 10 months ago
- Riemann sum graphs in Typst with CeTZ☆20Updated 10 months ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated 11 months ago
- Functional Programming in Lean☆78Updated last week
- A human-friendly notation for Unicode symbols.☆20Updated this week
- Arrows for Typst paths and other stories☆28Updated last month
- ☆24Updated last month
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆25Updated last month
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆146Updated 6 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆50Updated 9 months ago
- Programming Language Foundations in Lean☆36Updated last week
- ☆40Updated this week
- 🍔 Chen’s Private Cuisine Menu☆10Updated 11 months ago