Tree-sitter syntax highlighting for code blocks in Typst.
☆34Feb 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☆18Updated this week
- date and duration in ocaml☆23Apr 12, 2024Updated 2 years ago
- Tiny shell script to mount disk images and ISO files on rooted Android, on supported Linux kernels. Emulates a flash/optical drive and ca…☆18Nov 5, 2023Updated 2 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- provides a simple way to render text with ANSI escape sequences in typst☆27Apr 29, 2025Updated 11 months ago
- my dotfiles☆11May 8, 2022Updated 3 years ago
- Notes on Functional Programming and related topics☆30Jun 9, 2022Updated 3 years ago
- 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 last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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 5 months ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated last year
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- ☆48Mar 22, 2026Updated 3 weeks ago
- Quickly open man pages and navigate through them.☆13May 25, 2024Updated last year
- 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 last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust build dependency for running xmake☆13Sep 9, 2025Updated 7 months ago
- Create ribbon-like diagrams in Typst, such as Sankey and Chord diagrams☆38Jan 1, 2026Updated 3 months ago
- a webapp to fund Open Source collective collectives based on Quadratic Fund distribution☆11Sep 17, 2021Updated 4 years ago
- A library for diagonal line dividers in Typst tables☆34Sep 26, 2024Updated last year
- a different kind of tui framework☆12Feb 17, 2025Updated last year
- A TailwindCSS plugin for the Gradle build system.☆10Dec 18, 2023Updated 2 years ago
- A discord bot to render Typst code☆101Mar 15, 2026Updated 3 weeks ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 3 years ago
- ☆13Mar 26, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental extraction of Apple SDKs.☆15Apr 30, 2024Updated last year
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- Compile time unit checking with C++11 template magic.☆14Apr 30, 2019Updated 6 years ago
- Small utility to control the volume from the command line☆12Jan 2, 2023Updated 3 years ago
- my dotfiles, managed by Nix☆23Feb 1, 2026Updated 2 months ago
- A portable pure OCaml CA Store☆16Mar 15, 2024Updated 2 years ago
- Serve Bubble Tea apps through the browser - Drinking tea through the browser 🍵☆22Updated this week