☆34Dec 5, 2025Updated 9 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 9 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 9 months ago
- ☆36Dec 10, 2025Updated 9 months ago
- The module demonstrates how an on-chain vault can lock AptosCoin against opaque note commitments☆18Dec 5, 2025Updated 9 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 9 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 9 months ago
- ☆19Dec 9, 2025Updated 9 months ago
- ☆36Dec 11, 2025Updated 9 months ago
- ☆34Dec 5, 2025Updated 9 months ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 9 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 9 months ago
- ☆37Dec 10, 2025Updated 9 months ago
- Documentation for building on Base☆337Updated this 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.
- React components and TypeScript utilities to help you build top-tier onchain apps.☆1,041Sep 9, 2026Updated last week
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,248Feb 20, 2026Updated 7 months ago
- ☆17,745Sep 9, 2026Updated last week
- Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!☆29Sep 12, 2021Updated 5 years ago
- Simple screenshot and file sharing utility☆15Mar 5, 2024Updated 2 years ago
- Tube Archivist Companion for your Browser☆268May 16, 2026Updated 4 months ago
- Refinement types with static checking☆195Dec 21, 2024Updated last year
- A safe Rust crate for finding and resolving collisions of convex polygons using the Separating Axis Theorem in two dimensions.☆13Jan 15, 2024Updated 2 years ago
- Scala API for jenetics☆26Dec 22, 2018Updated 7 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.
- swffit repository☆17Feb 1, 2010Updated 16 years ago
- Zsh completion plugin for the LLM CLI tool by Simon Willison☆20May 28, 2025Updated last year
- Code, datasets, and checkpoints for the paper "Improving Passage Retrieval with Zero-Shot Question Generation (EMNLP 2022)"☆102Nov 27, 2022Updated 3 years ago
- VMI on BitVisor to detect hidden rootkits.☆27Dec 19, 2016Updated 9 years ago
- Analyse the writing style, word use and readability of prose in Emacs.☆26May 30, 2023Updated 3 years ago
- Brigde tokens based on layerzero stack☆10Aug 31, 2023Updated 3 years ago
- 📚 Process PDFs, Word documents and more with spaCy☆50Dec 13, 2024Updated last year
- Scala API for Apache Spark SQL high-order functions☆15Aug 4, 2023Updated 3 years ago
- Easily handle UIViews inside horizontal UIScrollView☆18Dec 21, 2017Updated 8 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.
- sysbench.sh benchmark tool written specifically for centminmod.com LEMP stack servers☆23May 27, 2025Updated last year
- A shell script that translates strings of characters and sends them to a VirtualBox guest☆19Nov 8, 2018Updated 7 years ago
- This fork family includes the 6502 upgraded to 32-bit address bus, in Verilog HDL☆21Feb 16, 2013Updated 13 years ago
- CodeMirror in Dart☆15May 26, 2015Updated 11 years ago
- Unofficial extensions of X-Ray game engine☆20Feb 21, 2026Updated 6 months ago
- a collection of chef recipes to install, configure and run a variety of NoSQL db's on the engine yard cloud.☆16Aug 18, 2009Updated 17 years ago
- A project providing usefull classes for reverse engineering iOS Private APIs on-device☆46Dec 21, 2017Updated 8 years ago