Tree-sitter syntax highlighting for code blocks in Typst.
☆33Feb 19, 2025Updated last year
Alternatives and similar repositories for syntastica-typst
Users that are interested in syntastica-typst are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- opam plugin to automatically populate opam file at install command☆10Mar 7, 2024Updated 2 years ago
- Chess Portable Game Notation (PGN) grammar for tree-sitter☆18Apr 13, 2026Updated last month
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- provides a simple way to render text with ANSI escape sequences in typst☆27May 11, 2026Updated 2 weeks ago
- Notes on Functional Programming and related topics☆31Jun 9, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Attempt to automate the installation of system packages required by OPAM packages☆33Aug 19, 2024Updated last year
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆16Updated this week
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 2 months ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- establish trust in community repositories, cryptographically signed by library authors☆37Nov 12, 2025Updated 6 months ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- ☆48Mar 22, 2026Updated 2 months ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 9 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- Fast equality saturation in Haskell☆95Mar 9, 2026Updated 2 months ago
- yazi plugin to preview epub files☆18Jun 21, 2025Updated 11 months ago
- Create ribbon-like diagrams in Typst, such as Sankey and Chord diagrams☆40Jan 1, 2026Updated 4 months ago
- A library for diagonal line dividers in Typst tables☆34Sep 26, 2024Updated last year
- Plotting for Iced☆67Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Feb 26, 2023Updated 3 years ago
- 🧬 an evolving design philosophy (masquerading as a color scheme)☆11Dec 8, 2025Updated 5 months ago
- a different kind of tui framework☆12Feb 17, 2025Updated last year
- ☆248Jun 8, 2024Updated last year
- 🤖 curl | sh installer script for Typst☆14Oct 26, 2025Updated 6 months ago
- A TailwindCSS plugin for the Gradle build system.☆10Dec 18, 2023Updated 2 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- OCaml client for NATS, the cloud native messaging system.☆17Nov 26, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experimental extraction of Apple SDKs.☆15Apr 30, 2024Updated 2 years ago
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- Compile time unit checking with C++11 template magic.☆14Apr 30, 2019Updated 7 years ago
- Small utility to control the volume from the command line☆12Jan 2, 2023Updated 3 years ago
- A portable pure OCaml CA Store☆16Mar 15, 2024Updated 2 years ago
- Voxel Art☆13Jun 18, 2018Updated 7 years ago
- A program launcher for Wayland☆17Jan 15, 2024Updated 2 years ago