rzukic / zed-latexView external linksLinks
☆112Dec 27, 2025Updated last month
Alternatives and similar repositories for zed-latex
Users that are interested in zed-latex are comparing it to the libraries listed below
Sorting:
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Updated this week
- LTeX+ Language Server support for Zed☆15Dec 1, 2025Updated 2 months ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- latex notes w/ neovim☆12Apr 18, 2025Updated 9 months ago
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated 8 months ago
- Port of Ultimate Dark Neo to Zed editor☆14Jan 16, 2026Updated last month
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated last month
- Ethereum indexer using Reth Execution Extensions (ExEx)☆27Nov 18, 2025Updated 2 months ago
- A Json parser in TypeScript☆17Sep 2, 2023Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 8 months ago
- Super figure is a vscode extension that implements integration for Inkscape and Gimp as means to quickly launch and edit figures and see …☆20Mar 16, 2024Updated last year
- Visual Studio Code extension for interacting with texpresso☆25Nov 7, 2025Updated 3 months ago
- SCSS support for Zed☆28Jan 18, 2026Updated 3 weeks ago
- Zed Language Extension for Make☆23Jan 2, 2026Updated last month
- Safe arithmetic in Rust using a procedural macro. Write normal math expressions with automatic overflow checks. No panics, no boilerplate…☆40Jun 23, 2025Updated 7 months ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated 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
- Control kanata virtual keys while observing frontmost app and input source on macOS to enable application and input source aware key mapp…☆36Feb 15, 2025Updated last year
- Unofficial Venge.io Client☆10Nov 26, 2020Updated 5 years ago
- A simple javascript utility library to include partial html (iframe alternate) without a framework or jQuery.☆17Oct 21, 2022Updated 3 years ago
- A service used in the Raycast app to fetch and serve favicons from websites.☆47Sep 2, 2025Updated 5 months ago
- 这里分享了一些我写的实用代码，部分已编译成可直接使用的程序，大家可以去 Releases 下载。☆12Jan 21, 2026Updated 3 weeks ago
- Claude Code Template with intelligent task management, specialized agents, and automated workflows for full-stack development☆18Oct 20, 2025Updated 3 months ago
- MiniMax-Provider-Verifier offers a rigorous, vendor-agnostic way to verify whether third-party deployments of the Minimax M2 model are co…☆23Jan 15, 2026Updated last month
- ☆10Oct 30, 2015Updated 10 years ago
- 🔐 env support for Zed.☆42Nov 13, 2024Updated last year
- ☆10Apr 24, 2025Updated 9 months ago
- ☆21Feb 1, 2026Updated 2 weeks ago
- ☆14Sep 23, 2024Updated last year
- Cairo 1 workshop repository for ETHDenver 2023☆10Mar 3, 2023Updated 2 years ago
- Two Intellij IDEA plugins for uploading code / files to hastebin and Discord☆10Oct 7, 2024Updated last year
- ☆10Apr 27, 2022Updated 3 years ago
- Fitness Platform with authentication and more (still in development) 🏋️♂️🏋️☆12May 6, 2023Updated 2 years ago
- SDK for integrating Vipps MobilePay APIs. Built with Deno☆11Nov 4, 2024Updated last year
- ☆11Sep 15, 2025Updated 5 months ago
- A ratatui based vertical and horizontal slider.☆35Jan 7, 2026Updated last month
- An expo module to access the new Android credential Manager. Supports username/password, Passkeys and Google Sign In. This module is buil…☆11Oct 29, 2025Updated 3 months ago
- Prototype public schematic transport lines in seconds☆12Nov 11, 2023Updated 2 years ago