Constraints API
☆18Oct 15, 2025Updated 5 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 5 months ago
- The Spire Based Stack☆23Nov 21, 2025Updated 4 months ago
- The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!☆347Nov 11, 2025Updated 4 months ago
- ☆11Apr 1, 2024Updated last year
- 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, 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.☆14Jul 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 last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆158Mar 6, 2026Updated 3 weeks 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.
- Test environments for crosschain operations☆14Dec 16, 2021Updated 4 years ago
- ☆19Updated this week
- zen minimal foundry template☆29Apr 1, 2025Updated 11 months ago
- Devcontainer-enabled Foundry template.☆12Mar 4, 2025Updated last year
- This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.☆83Aug 31, 2025Updated 6 months ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆20Mar 13, 2026Updated 2 weeks 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 10 months ago
- ☆21Dec 6, 2021Updated 4 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.
- Galadriel TEE oracle configuration and verification code [Deprecated]☆16Oct 10, 2024Updated last year
- ☆11Apr 30, 2025Updated 11 months ago
- ☆16May 5, 2023Updated 2 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
- Collaboration Splitter allows to create a cheap contract in charge of receiving and splitting Ethereum and ERC20 payments e.g. a NFT made…☆14Dec 20, 2021Updated 4 years 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
- 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 boilerplate for sample DApps/Ethereum contracts on Aurora.☆19Mar 6, 2023Updated 3 years ago
- Ralph Wiggum generates dope ideas, PRDs and creates an awesome vibe coder flow for you☆53Jan 22, 2026Updated 2 months ago
- A literary magazine in the form of a dynamic universe.☆13Dec 8, 2024Updated last year
- ☆12Jun 6, 2024Updated last year
- 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