cameel / yul-lspLinks
Language server for the Yul language
☆28Updated 2 years ago
Alternatives and similar repositories for yul-lsp
Users that are interested in yul-lsp are comparing it to the libraries listed below
Sorting:
- ☆13Updated 2 years ago
- ☆21Updated 2 years ago
- A multi-mode op-stack challenge agent for dispute games written in golang.☆30Updated 2 years ago
- Official Foundry landing page☆16Updated 2 years ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- ERC-3770☆18Updated last year
- Whitenoise CTF I: Doves in the Wind☆20Updated 2 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem☆23Updated last year
- ☆16Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆58Updated 2 years ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19Updated 2 months ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆27Updated 2 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 3 months ago
- ☆23Updated 2 years ago
- Macros + Primitives for PADE format☆29Updated 2 weeks ago
- A puzzle for Curta CTF☆26Updated last year
- ☆3Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆26Updated last year
- ☆17Updated 2 years ago
- ☆35Updated 3 years ago
- ☆22Updated 2 years ago
- Vyper-Compiler Version Manager in Rust☆29Updated 2 years ago
- ☆54Updated 2 years ago
- Gather blocks and headers from an ethers provider☆17Updated 2 years ago
- Single owner authorization with zk-based two-factor-authorization.☆18Updated 2 years ago