jgm / typst-hsLinks
Haskell library for parsing and evaluating typst
☆64Updated 2 months 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 10 months ago
- Typst Package to typeset inference rule☆35Updated 3 months ago
- A Language with Dependent Data and Codata Types☆107Updated last week
- Syntax trees for typst☆36Updated 5 months ago
- Typst math typesetting for the web.☆73Updated last month
- Algorithm pseudocode typesetting library for Typst☆36Updated 2 weeks ago
- A Typst-friendly static Zettelkästen site generator.☆101Updated this week
- Typst-setting finite automata with CeTZ.☆102Updated 2 months ago
- A typst wasm plugin to use graphviz directly inside documents☆123Updated last month
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆146Updated last month
- Nix overlay for Lean 4, and lake2nix☆53Updated this week
- Fir programming language☆63Updated this week
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆48Updated 2 months ago
- Flake template for Haskell repository☆37Updated 10 months ago
- Type safe type safety for Typst☆44Updated 5 months ago
- ☆16Updated 2 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Tree-sitter syntax highlighting for code blocks in Typst.☆28Updated 5 months ago
- Learn Lean 4 with PLFA proofs.☆80Updated 4 months ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 4 months ago
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆31Updated 2 months ago
- 🌐 | HTTP primitives for Lean 4☆43Updated 9 months ago
- ☆52Updated 7 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…☆36Updated 2 weeks ago
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Lean 4 port of Megaparsec☆29Updated last year
- Interaction net resources☆22Updated last week
- Change-aware static site generator for Haskell programmers☆126Updated 2 weeks ago