☆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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆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,821Aug 19, 2026Updated last 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,885Dec 8, 2025Updated 8 months ago
- ☆37Dec 10, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Documentation for building on Base☆331Updated this week
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,257Feb 20, 2026Updated 6 months ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆24,820Updated this week
- ☆17,049Jul 26, 2026Updated last month
- Modular, multi-topic question answering on top of Kubernetes☆19Jun 12, 2023Updated 3 years ago
- Fly Dynamic Image Resizer plugin for WordPress☆158Aug 12, 2023Updated 3 years ago
- A 2D game based on the smash hit game Agar.io.☆16Jun 2, 2021Updated 5 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- Lisp compiler using Rust☆22Dec 4, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆200Jul 17, 2026Updated last month
- Rich Text Format Document Generation☆11Feb 11, 2020Updated 6 years ago
- Cart is a small but powerful extension which "solely" adds a shopping cart to your TYPO3 installation. The extension allows you to create…☆59Aug 5, 2026Updated 3 weeks ago
- SwiftUI pickers, cameras, document scanners, etc.☆47Updated this week
- inverted DOM traversal for nested data binds☆12Nov 29, 2017Updated 8 years ago
- An example of how to build a menu navigation system using the Angular 2 Router☆11Jun 23, 2026Updated 2 months ago
- A simple logging API for julia☆25Mar 6, 2020Updated 6 years ago
- Examples of procedural generation algorithms☆22Oct 11, 2024Updated last year
- A BOF designed to inspect processes memory and addresses☆40Apr 19, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Display followers' profile descriptions in the Bluesky notifications feed☆14Dec 12, 2024Updated last year
- The Ethereum Improvement Proposal repository☆15Aug 15, 2025Updated last year
- Fast lightweight SOAP implementation for machine learning in quantum chemistry and materials physics.☆45Aug 13, 2019Updated 7 years ago
- WordPress Rocketeer Configuration☆27Mar 6, 2014Updated 12 years ago
- Scientific articles using or citing Common Crawl data☆30Jul 8, 2026Updated last month
- Script for easy fetch ndk and sdk to compile apk with vab☆13Apr 30, 2024Updated 2 years ago
- Worker ininfo☆19May 26, 2023Updated 3 years ago