jgm / typst-hs
Haskell library for parsing and evaluating typst
☆51Updated this week
Alternatives and similar repositories for typst-hs:
Users that are interested in typst-hs are comparing it to the libraries listed below
- Haskell parser for the djot light markup language☆24Updated 4 months ago
- Typst Package to typeset inference rule☆33Updated last week
- Syntax trees for typst☆31Updated last week
- Typst-setting finite automata with CeTZ.☆78Updated this week
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆140Updated 5 months ago
- Typst math typesetting for the web.☆67Updated 7 months ago
- Template for documenting Typst Packages and Templates.☆45Updated last week
- Programming Language Foundations in Lean☆26Updated 2 months ago
- Type safe type safety for Typst☆37Updated 2 weeks ago
- A typst wasm plugin to use graphviz directly inside documents☆104Updated this week
- A Typst package to display chessboards.☆23Updated last week
- Typst blog template based on Zola, typst.ts, and apollo.☆29Updated 6 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated 3 months ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆38Updated 3 weeks ago
- A Typst package for typesetting pseudocode☆61Updated 8 months ago
- Algorithm pseudocode typesetting library for Typst☆18Updated 10 months ago
- A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.☆119Updated this week
- Book about using Lean with How To Prove It☆17Updated 2 months ago
- A formatter for typst☆30Updated last month
- A library for diagonal line dividers in Typst tables☆23Updated 5 months ago
- ☆24Updated this week
- Arrows for Typst paths and other stories☆25Updated 2 weeks ago
- Learn Lean 4 with PLFA proofs.☆54Updated 10 months ago
- emulate terminal screenshots in typst☆33Updated last year
- Jupyter to Typst converter with template support☆12Updated 2 weeks ago
- A small Typst package for quick and easy in-document word counts.☆25Updated last month
- ☆53Updated 4 months ago
- Typst Plotting Library☆90Updated last year
- ☆22Updated last year