jgm / typst-hsLinks
Haskell library for parsing and evaluating typst
☆65Updated this week
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 last month
- A Language with Dependent Data and Codata Types☆124Updated this week
- Algorithm pseudocode typesetting library for Typst☆41Updated last month
- Typst Package to typeset inference rule☆42Updated 3 weeks ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Syntax trees for typst☆38Updated last month
- Typst math typesetting for the web.☆84Updated 3 months ago
- A Typst-friendly static Zettelkästen site generator.☆134Updated last week
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 7 months ago
- Flake template for Haskell repository☆38Updated last year
- Interaction net resources☆34Updated 2 weeks ago
- Nix overlay for Lean 4, and lake2nix☆62Updated last week
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆33Updated last week
- Programming Language Foundations in Lean☆43Updated 3 months ago
- Typst-setting finite automata with CeTZ.☆119Updated 5 months ago
- Learn Lean 4 with PLFA proofs.☆92Updated 6 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆100Updated 2 years ago
- 🌐 | HTTP primitives for Lean 4☆47Updated last year
- Fir programming language☆80Updated last week
- Functional Programming in Lean☆117Updated last week
- Demo for dependent types + runtime code generation☆72Updated 8 months ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆56Updated 4 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated last month
- 📺 The power of Haskell in your terminal!☆44Updated last week
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Linear lens☆20Updated last year
- A typst wasm plugin to use graphviz directly inside documents☆133Updated 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…☆38Updated 3 weeks ago
- Personal research notes☆17Updated last year
- Lean 4 port of Megaparsec☆29Updated last year