☆134Dec 27, 2025Updated 5 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☆19Jan 3, 2026Updated 4 months ago
- Tera Template Syntax Highlighting for Visual Studio Code☆24Jan 21, 2026Updated 4 months ago
- Source code for student lectures on dependent type theory.☆11Jun 9, 2025Updated 11 months ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆17Updated this week
- Ethereum indexer using Reth Execution Extensions (ExEx)☆30Nov 18, 2025Updated 6 months 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.
- 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 11 months ago
- 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
- The Zenon theorem prover☆16Jul 19, 2023Updated 2 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 10 months ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14May 3, 2026Updated 3 weeks ago
- Port of Ultimate Dark Neo to Zed editor☆14Updated this week
- A collection of useful tips/tricks/hints for Isabelle users.☆16May 2, 2024Updated 2 years ago
- Theoretical modelling of doping effects and magnetic field effects on the quantum transport in Graphene.☆14Mar 29, 2013Updated 13 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.
- 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
- 一个使用go编写的简单socks5服务端☆11Apr 24, 2024Updated 2 years ago
- Data Integration In Real-Time☆11Sep 8, 2022Updated 3 years ago
- A Json parser in TypeScript☆17Sep 2, 2023Updated 2 years ago
- Comparison between CUDA and CPU for PSO using 3-dimensional Levy function as test case☆14Jun 27, 2015Updated 10 years ago
- An LSP and CLI for RON files that provides autocomplete, diagnostics, go to definition, code actions, and hover support based on Rust typ…☆58Feb 28, 2026Updated 3 months ago
- A simple python script to convert any Wikipedia article to Markdown.☆59May 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 Flexible and Efficient Proof Checker for SMT Solvers☆31Updated this week
- 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.
- ☆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 7 months ago
- ☆11Sep 24, 2025Updated 8 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆58Apr 25, 2026Updated last month
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Apr 30, 2026Updated 3 weeks ago
- Safe arithmetic in Rust using a procedural macro. Write normal math expressions with automatic overflow checks. No panics, no boilerplate…☆40Apr 14, 2026Updated last month
- ZKsync support for alloy☆16Mar 23, 2026Updated 2 months ago
- ☆15Feb 9, 2026Updated 3 months 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.
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 10 months ago
- ☆48May 14, 2026Updated 2 weeks ago
- Simple discv5 server☆13Apr 3, 2026Updated last month
- Information for the Asymptote PCB☆12Aug 2, 2025Updated 9 months ago
- A (formalised) general definition of type theories☆59Jun 10, 2021Updated 4 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- Python Image Tool for visualizing multidimensional data. Applications include analysis of data in microscopy (STM, SSM, optics), ARPES, X…☆14Jan 1, 2021Updated 5 years ago