☆34Dec 5, 2025Updated 8 months ago
Alternatives and similar repositories for gas-soundness-check
Users that are interested in gas-soundness-check are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Dec 9, 2025Updated 8 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 8 months ago
- ☆36Dec 10, 2025Updated 8 months ago
- The module demonstrates how an on-chain vault can lock AptosCoin against opaque note commitments☆18Dec 5, 2025Updated 8 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 8 months 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.
- ☆36Dec 10, 2025Updated 8 months ago
- ☆19Dec 9, 2025Updated 8 months ago
- ☆36Dec 11, 2025Updated 8 months ago
- ☆34Dec 5, 2025Updated 8 months ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 8 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,824Updated this week
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 8 months ago
- how will the protocol work?☆7,898Dec 8, 2025Updated 8 months ago
- ☆37Dec 10, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Client libraries for managing EVM and Solana wallets while relying on CDP to secure private keys.☆191Aug 5, 2026Updated last week
- React components and TypeScript utilities to help you build top-tier onchain apps.☆1,044Jan 31, 2026Updated 6 months ago
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,268Feb 20, 2026Updated 5 months ago
- Total Parser Combinators in Agda☆136Aug 5, 2025Updated last year
- C++ Library to support the I2C 128X64 OLED Display Module driven by the SSD1306 controller for the Raspberry pi SBC eco-system.☆29Mar 6, 2026Updated 5 months ago
- ☆15Mar 29, 2022Updated 4 years ago
- ☆11Feb 10, 2025Updated last year
- 🚀✨ Help beginners to contribute to open source projects☆144Dec 18, 2023Updated 2 years ago
- A Tool for extracting multimodal features from videos.☆213Feb 11, 2023Updated 3 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.
- CNN Based Image Retrieval. SoTu☆12Jan 11, 2024Updated 2 years ago
- Chrome Dev Tools extension for XHR JSON based requests.☆13Feb 8, 2018Updated 8 years ago
- ☆10Sep 26, 2023Updated 2 years ago
- The Artifacts for ICSE 2023 paper: Bad Snakes: Understanding and Improving Python Package Index Malware Scanning☆13Feb 8, 2026Updated 6 months ago
- Squash adds an invisible memory layer to your browser, compressing every click into portable context for any AI agent☆30Sep 22, 2025Updated 10 months ago
- Blur view effect for React Native☆206Oct 14, 2023Updated 2 years ago
- PocketLang binding for Nim☆21Jul 19, 2024Updated 2 years ago
- Groovy Template Engine for Play Framework 2.0☆19Sep 13, 2012Updated 13 years ago
- ☆52Jun 21, 2026Updated last month
- 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.
- Lightning Network Payment Gateway☆21Jan 22, 2018Updated 8 years ago
- List of Solana public RPC endpoints☆69Oct 18, 2022Updated 3 years ago
- Static Analyzer for Solidity and Vyper☆6,342Updated this week
- Shader-based Day & Night Cycle for Godot with Light Rays & Shadows.☆13Apr 17, 2024Updated 2 years ago
- Jeff Geerling's Ansible content site☆51Sep 20, 2025Updated 10 months ago
- Simple SQL queries in Scala 3☆21Mar 16, 2026Updated 4 months ago
- Lottery scirpt☆10Nov 6, 2022Updated 3 years ago