☆120Dec 27, 2025Updated 3 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☆18Jan 3, 2026Updated 2 months ago
- LaTeX grammar for tree-sitter☆163Feb 4, 2026Updated last month
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated 9 months ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated last month
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 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 9 months ago
- An implementation of the Language Server Protocol for LaTeX☆1,922Mar 2, 2026Updated 3 weeks ago
- Runs interdependent logic concurrently, starting each function when predecessors have completed☆21Apr 17, 2025Updated 11 months ago
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- The Zenon theorem prover☆15Jul 19, 2023Updated 2 years ago
- ☆16Sep 21, 2022Updated 3 years ago
- Explore, preview, and edit Zed themes☆24Feb 26, 2026Updated last month
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 8 months ago
- Graph implicit curves in Swift☆29Dec 28, 2023Updated 2 years 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.
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Mar 19, 2026Updated last week
- Port of Ultimate Dark Neo to Zed editor☆14Jan 16, 2026Updated 2 months ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- A collection of useful tips/tricks/hints for Isabelle users.☆16May 2, 2024Updated last year
- A Swift framework to generate 3D models. Exports to OpenSCAD and .stl☆19Aug 14, 2023Updated 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 6 years ago
- 一个使用go编写的简单socks5服务端☆11Apr 24, 2024Updated last year
- A Json parser in TypeScript☆17Sep 2, 2023Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A simple python script to convert any Wikipedia article to Markdown.☆54May 26, 2025Updated 10 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆29Updated this week
- 2024年好用的IPLC VPS汇总推荐 - 高速稳定且安全的国际私用线路选择☆23Jan 11, 2025Updated last year
- ☆12Mar 16, 2025Updated last year
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆56Jan 10, 2026Updated 2 months ago
- Customize enumerate, itemize and description☆58Feb 6, 2025Updated last year
- iOS app that detects LaTeX symbols from drawings. Built using PencilKit, SwiftUI, Combine and CoreML for iOS 14(or greater) and macOS 11(…☆170Nov 20, 2025Updated 4 months ago
- Safe arithmetic in Rust using a procedural macro. Write normal math expressions with automatic overflow checks. No panics, no boilerplate…☆40Jun 23, 2025Updated 9 months ago
- Fast string seaching for node.js ( aho-corasick algorithm )☆13Jan 24, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An on-demand runtimepath manager and plugin loader for vim (for handling plugins distributes, e.g., as git repositories)☆15Jan 16, 2015Updated 11 years ago
- A (formalised) general definition of type theories☆59Jun 10, 2021Updated 4 years ago
- Clever LaTeX cross-references based on zref☆32Mar 3, 2025Updated last year
- A remote process debug project for python3☆12Jan 11, 2026Updated 2 months ago
- A Typst Template for ABNT academic documents☆27Nov 6, 2023Updated 2 years ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆23Jul 24, 2025Updated 8 months ago
- 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 5 months ago