☆125Dec 27, 2025Updated 4 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 4 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.☆16Apr 14, 2026Updated 3 weeks 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 11 months ago
- Runs interdependent logic concurrently, starting each function when predecessors have completed☆21Apr 17, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Explore, preview, and edit Zed themes☆25Mar 30, 2026Updated last month
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Updated this week
- Port of Ultimate Dark Neo to Zed editor☆14Jan 16, 2026Updated 3 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 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 一个使用go编写的简单socks5服务端☆11Apr 24, 2024Updated 2 years ago
- A Json parser in TypeScript☆17Sep 2, 2023Updated 2 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- A simple python script to convert any Wikipedia article to Markdown.☆58May 26, 2025Updated 11 months ago
- 2024年好用的IPLC VPS汇总推荐 - 高速稳定且安全的国际私用线路选择☆25Jan 11, 2025Updated last year
- ☆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
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆58Apr 25, 2026Updated 2 weeks 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.
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Apr 30, 2026Updated last week
- Safe arithmetic in Rust using a procedural macro. Write normal math expressions with automatic overflow checks. No panics, no boilerplate…☆40Apr 14, 2026Updated 3 weeks ago
- ZKsync support for alloy☆16Mar 23, 2026Updated last month
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 9 months ago
- Simple discv5 server☆13Apr 3, 2026Updated last month
- Fast string seaching for node.js ( aho-corasick algorithm )☆13Jan 24, 2024Updated 2 years 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
- raw dogging univ4 swaps without the router☆13Mar 18, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implements response compression with gzip and brotli via the `async-compression` crate☆15Sep 3, 2024Updated last year
- Produces a serialized hardware report of the physical infrastructure for automation☆26Mar 25, 2026Updated last month
- Citation Style Language (CSL) API for Ruby☆16Oct 16, 2025Updated 6 months ago
- emo•ji for all (LaTeX engines) 🎉☆15May 22, 2023Updated 2 years ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Prover Manager☆26Updated this week
- The DM Mono font enhenced by the Nerd Fonts Patcher.☆16Dec 27, 2023Updated 2 years ago