jgm / typst-hs
Haskell library for parsing and evaluating typst
☆53Updated 2 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 month
- Haskell parser for the djot light markup language☆25Updated 5 months ago
- Typst-setting finite automata with CeTZ.☆79Updated last month
- A typst wasm plugin to use graphviz directly inside documents☆113Updated 3 weeks ago
- Syntax trees for typst☆31Updated last month
- Typst math typesetting for the web.☆68Updated 8 months ago
- A Language with Dependent Data and Codata Types☆94Updated this week
- Type safe type safety for Typst☆40Updated last month
- A Typst package for typesetting pseudocode☆62Updated 9 months ago
- Template for documenting Typst Packages and Templates.☆44Updated last month
- Programming Language Foundations in Lean☆28Updated 3 months ago
- A Typst-friendly static Zettelkasten site generator.☆48Updated last week
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆42Updated last month
- Book about using Lean with How To Prove It☆17Updated 3 months ago
- ☆64Updated 4 months ago
- Flake template for Haskell repository☆34Updated 6 months ago
- Nix overlay for Lean 4, and lake2nix☆36Updated this week
- Algorithm pseudocode typesetting library for Typst☆21Updated 11 months ago
- Typst blog template based on Zola, typst.ts, and apollo.☆30Updated 7 months ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated 11 months ago
- A library for typesetting mathematical theorems in typst.☆17Updated 3 weeks ago
- A human-friendly notation for Unicode symbols.☆16Updated 3 weeks ago
- Arrows for Typst paths and other stories☆26Updated 3 weeks ago
- Functional Programming in Lean☆77Updated 10 months ago
- Riemann sum graphs in Typst with CeTZ☆19Updated 10 months ago
- Pure functional programming with whole-program mutability inference☆65Updated 2 weeks ago
- ☆56Updated last week
- A Typst package to display chessboards.☆22Updated 3 weeks ago
- ☆24Updated last month
- Continuous benchmarking☆16Updated last week