jgm / typst-hsLinks
Haskell library for parsing and evaluating typst
☆61Updated last month
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 9 months ago
- Typst Package to typeset inference rule☆36Updated 2 months ago
- Algorithm pseudocode typesetting library for Typst☆32Updated last week
- Typst math typesetting for the web.☆73Updated last week
- A Typst-friendly static Zettelkästen site generator.☆92Updated this week
- Syntax trees for typst☆36Updated 4 months ago
- A Language with Dependent Data and Codata Types☆106Updated this week
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆141Updated 3 weeks ago
- Nix overlay for Lean 4, and lake2nix☆50Updated 2 weeks ago
- A typst wasm plugin to use graphviz directly inside documents☆123Updated last week
- Typst-setting finite automata with CeTZ.☆101Updated last month
- Book about using Lean with How To Prove It☆19Updated 2 weeks ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆48Updated last month
- Type safe type safety for Typst☆44Updated 5 months ago
- Tree-sitter syntax highlighting for code blocks in Typst.☆27Updated 4 months ago
- Learn Lean 4 with PLFA proofs.☆79Updated 3 months ago
- Flake template for Haskell repository☆37Updated 9 months ago
- Lean 4 port of Megaparsec☆29Updated last year
- A library for typesetting mathematical theorems in typst.☆18Updated 4 months ago
- Typst blog template based on Zola, typst.ts, and apollo.☆39Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- 🌐 | HTTP primitives for Lean 4☆43Updated 8 months ago
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆30Updated last month
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆36Updated last week
- Formalising the WASM spec in Lean☆23Updated last year
- Fir programming language☆64Updated this week
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 3 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- work in progress book on Scientific Computing in Lean☆13Updated 4 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 6 months ago