☆150Dec 27, 2025Updated 7 months ago
Alternatives and similar repositories for zed-latex
Users that are interested in zed-latex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX grammar for tree-sitter☆174Aug 1, 2026Updated last week
- Syntax highlighting for log files in Zed.☆47Jun 7, 2026Updated 2 months ago
- ☆17Sep 21, 2022Updated 3 years ago
- Typst extension for zed☆192Jun 10, 2026Updated 2 months ago
- Tera Template Syntax Highlighting for Visual Studio Code☆24Jan 21, 2026Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- latex notes w/ neovim☆14Apr 18, 2025Updated last year
- An implementation of the Language Server Protocol for LaTeX☆2,007Jul 27, 2026Updated 2 weeks ago
- Mermaid support for Zed☆75Jan 26, 2026Updated 6 months ago
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated last year
- TOML support☆36Jun 7, 2026Updated 2 months ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- A LaTeX library to cache pictures (including tikz, python code, and more) in a robust, customizable, and pure way.☆15Jun 16, 2026Updated last month
- Exposing Tree Sitter parsers and queries to VS Code extensions (with caching & more utilities).☆17Dec 2, 2023Updated 2 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Runs interdependent logic concurrently, starting each function when predecessors have completed☆21Apr 17, 2025Updated last year
- A language server that handles hover information in package.json files☆22Dec 15, 2025Updated 7 months ago
- ☆67May 14, 2026Updated 2 months ago
- CSV support for Zed☆25Sep 4, 2025Updated 11 months ago
- csv grammar for tree-sitter☆12Nov 13, 2025Updated 9 months ago
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- a tiny distro-independent package manager written in Rust.☆16Jun 22, 2024Updated 2 years ago
- https://jamesgraves.github.io/rust-cookbook☆10Mar 5, 2025Updated last year
- Commutative diagrams with TikZ☆57Sep 24, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Extensions for the Zed editor☆1,846Updated this week
- Nix language support in Zed☆124Jun 7, 2026Updated 2 months ago
- Julia support for Zed.☆118Updated this week
- LaTeX graphics with TikZ, by Packt Publishing☆208Jun 25, 2024Updated 2 years ago
- SQL language support for Zed☆79Jul 20, 2026Updated 3 weeks ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- Visual Studio Code extension for interacting with texpresso☆29Nov 7, 2025Updated 9 months ago
- A powerful and user-friendly Typst package for drawing physics diagrams.☆23Dec 24, 2025Updated 7 months ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆17Jul 12, 2026Updated last month
- 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.
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- A collection of useful tips/tricks/hints for Isabelle users.☆17May 2, 2024Updated 2 years ago
- Port of Ultimate Dark Neo to Zed editor☆15May 27, 2026Updated 2 months ago
- Boozio is a UK Supermarket Scraper to fetch and compare prices - Supports Sainsbury's, Asda, Tesco, Waitrose, Ocado, and Morrisons☆16May 6, 2019Updated 7 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- A Json parser in TypeScript☆17Sep 2, 2023Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆26Jun 7, 2025Updated last year