π Finalist at Ethglobal Paris'23 Hackathon π
β28Feb 14, 2024Updated 2 years ago
Alternatives and similar repositories for solver
Users that are interested in solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wordle Game Implemented with Optimintβ15Apr 3, 2024Updated 2 years ago
- β47Nov 21, 2023Updated 2 years ago
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.β13Jan 4, 2026Updated 6 months ago
- ZKsync SSO SDKβ18Jul 1, 2026Updated 3 weeks ago
- Code Merklization and other approaches to reducing the code contribution to witness sizeβ15Jun 24, 2024Updated 2 years ago
- 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.
- β15Jan 25, 2022Updated 4 years ago
- β26Jul 17, 2024Updated 2 years ago
- The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is wβ¦β15Dec 10, 2021Updated 4 years ago
- PHP long connection proxy, eliminates short links and reduces request latencyβ20Oct 4, 2023Updated 2 years ago
- β13Apr 9, 2025Updated last year
- β18Oct 19, 2023Updated 2 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVMβ16Jan 3, 2024Updated 2 years ago
- Template for zkGraph.β19Mar 3, 2024Updated 2 years ago
- β19Updated this week
- 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.
- ι²η - a hackathon project for eth waterlooβ17Jul 12, 2023Updated 3 years ago
- Step by step implementation of KZGβ19Sep 29, 2024Updated last year
- β13Oct 22, 2023Updated 2 years ago
- Implementation of nitro-protocol in Goβ50Jun 17, 2024Updated 2 years ago
- An implementation of ipfs/go-datastore that can be backed by any SQL database.β35Jun 24, 2026Updated 3 weeks ago
- β11Jan 27, 2021Updated 5 years ago
- A trusted AI Model Context Protocol (MCP) runtime for secure, decentralized AI tools and services.β24Updated this week
- Concept for the SBT standard interface and implementation that enable graph traversal.β11May 27, 2022Updated 4 years ago
- β16Apr 24, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Zero-Knowledge dApp Boilerplateβ23Mar 8, 2023Updated 3 years ago
- β13Sep 14, 2023Updated 2 years ago
- A todo list for making bitvm greatβ24Oct 23, 2023Updated 2 years ago
- β15Jan 16, 2025Updated last year
- A LLM-based solver implementation for an intent-centric future on Ethereum.β13Sep 24, 2023Updated 2 years ago
- β21Apr 28, 2023Updated 3 years ago
- build a chatbot to read vue3 document with langchain and openaiβ32May 8, 2023Updated 3 years ago
- bftf websiteβ26Jun 20, 2019Updated 7 years ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermintβ99Jan 19, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- β14Jan 7, 2023Updated 3 years ago
- The most gas optimized ERC-4337 account - written in Huffβ43Sep 21, 2023Updated 2 years ago
- KZG WASM Build suitable for EIP-4844 and PeerDAS (EIP-7594)β17Nov 3, 2025Updated 8 months ago
- ππ ZK Microphone: Trusted audio in the age of deepfakes ππ Generative AI is a threat to society. It enables disinformation, manipulatβ¦β92Jul 23, 2023Updated 2 years ago
- A simple CLI wrapper around Foundry and jq to debug UserOpsβ17Mar 26, 2024Updated 2 years ago
- The project page of ZeroWalletβ19Jul 19, 2019Updated 7 years ago
- β13Dec 3, 2022Updated 3 years ago