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 month
- The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!☆352Jun 9, 2026Updated last month
- ☆11Apr 1, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 3 years ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- Official Foundry landing page☆17Jun 28, 2023Updated 3 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.☆16Jun 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 3 weeks 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.
- Test environments for crosschain operations☆14Dec 16, 2021Updated 4 years ago
- ☆19Jun 10, 2026Updated 3 weeks ago
- 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 10 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Galadriel TEE oracle configuration and verification code [Deprecated]☆16Oct 10, 2024Updated last year
- ☆11Jun 22, 2026Updated 2 weeks ago
- ☆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 5 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
- 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.
- Collaboration Splitter allows to create a cheap contract in charge of receiving and splitting Ethereum and ERC20 payments e.g. a NFT made…☆15Dec 20, 2021Updated 4 years ago
- 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