jgm / typst-hsLinks
Haskell library for parsing and evaluating typst
☆60Updated 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
Sorting:
- Haskell parser for the djot light markup language☆27Updated 8 months ago
- Typst Package to typeset inference rule☆35Updated 2 months ago
- Typst math typesetting for the web.☆73Updated last month
- Syntax trees for typst☆35Updated 4 months ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆46Updated 3 weeks ago
- Type safe type safety for Typst☆43Updated 4 months ago
- A Language with Dependent Data and Codata Types☆106Updated 2 weeks ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- Algorithm pseudocode typesetting library for Typst☆30Updated 2 weeks ago
- Typst-setting finite automata with CeTZ.☆97Updated last month
- Nix overlay for Lean 4, and lake2nix☆47Updated this week
- A typst wasm plugin to use graphviz directly inside documents☆121Updated last week
- A Typst-friendly static Zettelkästen site generator.☆80Updated this week
- Programming Language Foundations in Lean☆39Updated 2 months ago
- A Typst package to display chessboards.☆22Updated 3 months ago
- Arrows for Typst paths and other stories☆32Updated last month
- A formatter for typst☆33Updated 5 months ago
- Book about using Lean with How To Prove It☆19Updated 2 weeks ago
- Formatter for Typst☆46Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆135Updated this week
- A Typst package for typesetting pseudocode☆68Updated last year
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated last year
- agda-mode on VS Code☆176Updated this week
- ☆65Updated 3 weeks ago
- Language Server for Agda☆112Updated 6 months ago
- Fir programming language☆61Updated this week
- A small Typst package for quick and easy in-document word counts.☆33Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Template for documenting Typst Packages and Templates.☆47Updated last month
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 3 months ago