jgm / typst-hs
Haskell library for parsing and evaluating typst
☆43Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for typst-hs
- A typst wasm plugin to use graphviz directly inside documents☆82Updated 2 months ago
- Haskell parser for the djot light markup language☆20Updated last month
- Typst math typesetting for the web.☆60Updated 4 months ago
- Mirror of ocaml-forester☆40Updated 5 months ago
- 🌐 | HTTP primitives for Lean 4☆26Updated last month
- A book about functional programming in Lean☆39Updated 9 months ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Typst-setting finite automata with CeTZ.☆60Updated last month
- An English translation of Deligne's three "Hodge theory" papers☆11Updated last month
- Algorithm pseudocode typesetting library for Typst☆15Updated 6 months ago
- A Language with Dependent Data and Codata Types☆58Updated this week
- Programming Language Foundations in Lean☆20Updated 11 months ago
- Template for documenting Typst Packages and Templates.☆40Updated 4 months ago
- Linear lens☆20Updated 9 months ago
- Some common drafting utilities for the `typst` document typesetter☆62Updated last week
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆97Updated last year
- Prooftrees for Typst - Inspired by Latex's bussproofs☆18Updated 6 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆28Updated 2 months ago
- A Rust/WASM implementation of homotopy.io☆84Updated this week
- Type safe type safety for Typst☆32Updated 2 months ago
- Typst blog template based on Zola, typst.ts, and apollo.☆27Updated 2 months ago
- A library for typesetting mathematical theorems in typst.☆16Updated 2 months ago
- IDE support for the functional logic programming language Curry☆27Updated last week
- Pure functional programming with whole-program mutability inference☆50Updated this week
- VSCode support for Forester☆18Updated 5 months ago
- Learn Lean 4 with PLFA proofs.☆50Updated 6 months ago
- ☆22Updated 9 months ago
- high-performance cubical evaluation☆68Updated 4 months ago
- Functional Programming in Lean☆71Updated 6 months ago
- ☆44Updated 2 weeks ago