jgm / typst-hsLinks
Haskell library for parsing and evaluating typst
☆64Updated 3 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
- A Language with Dependent Data and Codata Types☆116Updated last week
- Algorithm pseudocode typesetting library for Typst☆36Updated this week
- Typst math typesetting for the web.☆77Updated last month
- Typst Package to typeset inference rule☆36Updated 4 months ago
- Syntax trees for typst☆36Updated 6 months ago
- A Typst-friendly static Zettelkästen site generator.☆102Updated last week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 2 months ago
- Nix overlay for Lean 4, and lake2nix☆55Updated 2 weeks ago
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆31Updated 2 weeks ago
- Flake template for Haskell repository☆37Updated 11 months ago
- Learn Lean 4 with PLFA proofs.☆83Updated 4 months ago
- Fir programming language☆65Updated this week
- 🌐 | HTTP primitives for Lean 4☆45Updated 10 months ago
- Interaction net resources☆28Updated 2 weeks ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Typst-setting finite automata with CeTZ.☆104Updated 3 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- A Rust/WASM implementation of homotopy.io☆101Updated this week
- Typst blog template based on Zola, typst.ts, and apollo.☆39Updated 2 months ago
- ☆16Updated 2 years ago
- Lean 4 port of Megaparsec☆29Updated last year
- Parser Combinator Library for Lean 4☆56Updated 2 weeks ago
- Programming Language Foundations in Lean☆42Updated last month
- A typst wasm plugin to use graphviz directly inside documents☆128Updated last month
- The Montreal Haskell Compiler☆24Updated this week
- A functional scripting language.☆17Updated 7 months ago
- Haskell Playground☆145Updated 3 months ago
- Python bindings for dhall, a functional configuration language☆48Updated 9 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆270Updated last week