Constraints API
☆18Oct 15, 2025Updated 8 months ago
Alternatives and similar repositories for constraints-specs
Users that are interested in constraints-specs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI Framework for Socials and onchain actions☆20Dec 30, 2024Updated last year
- Universal Registry Contract☆14Oct 15, 2025Updated 8 months ago
- The Spire Based Stack☆24Jun 8, 2026Updated last week
- The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!☆350Jun 9, 2026Updated last week
- ☆11Apr 1, 2024Updated 2 years 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.
- A simple, ENS-powered browser for Ethereum dApps☆20Sep 27, 2021Updated 4 years ago
- ☆17Sep 9, 2024Updated last year
- The authenticated storage benchmark platform includes implementations like OpenEthereum's MPT, RainBlock's MPT, LMPTs, and LVMT.☆16Jul 6, 2023Updated 2 years ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆163Jun 10, 2026Updated last week
- 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.
- Test environments for crosschain operations☆14Dec 16, 2021Updated 4 years ago
- ☆19Jun 10, 2026Updated last week
- zen minimal foundry template☆29Apr 1, 2025Updated last year
- Devcontainer-enabled Foundry template.☆12Mar 4, 2025Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆21Mar 13, 2026Updated 3 months ago
- This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.☆83Aug 31, 2025Updated 9 months ago
- Basic integration of truffle and React front-end based on the create-react-app without resorting to the 'reject' mode.☆13Sep 6, 2018Updated 7 years ago
- Core smart contracts of Glacis v1☆10May 9, 2025Updated last year
- ☆21Dec 6, 2021Updated 4 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.
- Galadriel TEE oracle configuration and verification code [Deprecated]☆16Oct 10, 2024Updated last year
- ☆11Apr 30, 2025Updated last year
- ☆16May 5, 2023Updated 3 years ago
- My utils for long-lived, fault-tolerant rust tasks☆44Dec 7, 2023Updated 2 years ago
- High availability for blockchain services☆12Jan 20, 2023Updated 3 years ago
- Our Dao smart contract☆11Oct 16, 2018Updated 7 years ago
- ☆14Feb 11, 2023Updated 3 years ago
- Ralph Wiggum generates dope ideas, PRDs and creates an awesome vibe coder flow for you☆53Jan 22, 2026Updated 4 months ago
- EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos'…☆12Dec 22, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A boilerplate for sample DApps/Ethereum contracts on Aurora.☆19Mar 6, 2023Updated 3 years ago
- A literary magazine in the form of a dynamic universe.☆13Dec 8, 2024Updated last year
- ☆12Jun 6, 2024Updated 2 years ago
- Tools for Aptos node operators.☆13Dec 19, 2022Updated 3 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Seed Providers☆16Dec 1, 2024Updated last year
- A multi-node Ethereum consensus-layer validator client that improves reliability and performance by connecting to multiple beacon nodes u…☆149Jun 8, 2026Updated last week