☆139Dec 27, 2025Updated 6 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:
- First-order automated theorem prover based on the tableau method☆19Updated this week
- LaTeX grammar for tree-sitter☆173Feb 4, 2026Updated 5 months ago
- Tera Template Syntax Highlighting for Visual Studio Code☆24Jan 21, 2026Updated 5 months ago
- latex notes w/ neovim☆14Apr 18, 2025Updated last year
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆17Updated this week
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Jun 2, 2025Updated last year
- Ethereum indexer using Reth Execution Extensions (ExEx)☆31Nov 18, 2025Updated 7 months ago
- Visual Studio Code extension for interacting with texpresso☆29Nov 7, 2025Updated 8 months ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated last year
- An implementation of the Language Server Protocol for LaTeX☆1,983Updated this week
- Runs interdependent logic concurrently, starting each function when predecessors have completed☆21Apr 17, 2025Updated last year
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Zenon theorem prover☆16Jul 19, 2023Updated 2 years ago
- CSV support for Zed☆22Sep 4, 2025Updated 10 months ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 2 weeks ago
- 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
- 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
- A Json parser in TypeScript☆17Sep 2, 2023Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆51Jun 28, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Super figure is a vscode extension that implements integration for Inkscape and Gimp as means to quickly launch and edit figures and see …☆21Mar 16, 2024Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆26Jun 7, 2025Updated last year
- A simple python script to convert any Wikipedia article to Markdown.☆64May 26, 2025Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Nov 17, 2024Updated last year
- A structured mesh generator using transfinite interpolation (TFI)☆20May 8, 2017Updated 9 years ago
- ☆16Mar 29, 2024Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 9 months ago
- ☆11Sep 24, 2025Updated 9 months 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.
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆58Apr 25, 2026Updated 2 months ago
- Customize enumerate, itemize and description☆58Feb 6, 2025Updated last year
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Apr 30, 2026Updated 2 months ago
- ZKsync support for alloy☆16Mar 23, 2026Updated 3 months ago
- ☆15Jul 2, 2026Updated last week
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 11 months ago
- ☆48Jun 9, 2026Updated last month