☆14Oct 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for evm-golf
Users that are interested in evm-golf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- IntelGPT is a command line tool that allows you to examine specific input such as URLs, file hashes, domain names, and IP addresses using…☆17Jan 16, 2023Updated 3 years ago
- ☆19Feb 7, 2021Updated 5 years ago
- ERC-3770☆19Jul 9, 2024Updated 2 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Solidity Reentrancy Guard implementation using Transient Storage Opcodes (EIP-1153)☆13Oct 11, 2024Updated 2 years 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.
- Core traits and libraries extracted from Foundry, published as crates so they can be depended on without git references.☆23Updated this week
- mattew crawls target websites, extracts hidden attack surface, runs security analysis, fingerprints technology, and generates professiona…☆16Jul 2, 2026Updated 3 months ago
- Aave Seatbelt for governance proposals☆18Feb 18, 2024Updated 2 years ago
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- 9router fork with Qoder queue retry, quota/model fallbacks, and DingTalk idle alerts☆14Oct 12, 2026Updated 3 weeks ago
- A Ghidra EVM Extension☆42May 7, 2025Updated last year
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated last week
- Agent marketplace☆24Oct 14, 2026Updated 2 weeks ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Dec 2, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.☆21Sep 18, 2026Updated last month
- Refinement proofs in Lean for EVM bytecode☆27Oct 26, 2026Updated last week
- OpenClaw skill for Privy agentic wallets - create wallets AI agents can control autonomously☆15Mar 13, 2026Updated 7 months ago
- The chef's standard for AI agent work: twelve rules, a critique gate, and project memory. One skill. Craftsman's taste. Zero AI slop.☆20Aug 26, 2026Updated 2 months ago
- Secure, distributed single writer key/value store☆12Jun 20, 2020Updated 6 years ago
- FREE PROXY LIST & SOCKS LIST WITH AUTO UPDATED EVERY 2 HOURS☆13Updated this week
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32May 3, 2024Updated 2 years ago
- Agent skill that deterministically renders motion graphics onto video via ffmpeg-skill.☆16Updated this week
- 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.
- Local-first context firewall for coding agents☆27Aug 10, 2026Updated 2 months ago
- Rust client library for @tailscale.☆11Oct 5, 2022Updated 4 years ago
- wall time exex for reth☆12Aug 5, 2024Updated 2 years ago
- TypeScript SDK for interacting with Clanker contracts☆31Oct 23, 2026Updated last week
- ☆17Updated this week
- Mapr is a Bun-native CLI/TUI designed for deep frontend reverse-engineering. It crawls target sites to collect artifacts, processes chunk…☆23May 7, 2026Updated 5 months ago
- morphe patches for ipusnas☆19Oct 1, 2026Updated last month
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆29Updated this week
- ☆37Oct 17, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project☆75May 20, 2024Updated 2 years ago
- SuperX CLI and agent skill for the SuperX API☆28Oct 7, 2026Updated 3 weeks ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆41Jul 9, 2024Updated 2 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- A stack implementation via a single linked list in solidity.☆37Feb 19, 2022Updated 4 years ago