11 results found Sort:
- Filter by Primary Language:
- Rust (3)
- Solidity (2)
- JavaScript (1)
- Racket (1)
- SMT (1)
- Yul (1)
- +
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Created
2022-06-04
687 commits to main branch, last one 2 days ago
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Created
2023-04-21
414 commits to main branch, last one a day ago
Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
Created
2023-04-10
37 commits to master branch, last one 3 months ago
Tools for Yul.
Created
2022-08-05
242 commits to main branch, last one about a year ago
Ethereum Solidity, Vyper, Yul and StarkNet Cairo language syntaxes
Created
2015-03-02
126 commits to master branch, last one about a year ago
detect hazardous storage writes in Solidity contracts
Created
2023-04-07
11 commits to main branch, last one about a year ago
A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
Created
2022-08-12
1,878 commits to main branch, last one about a month ago
311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine
Created
2019-05-09
33 commits to master branch, last one 5 years ago
Yultsur is a Rust implementation of Yul.
Created
2018-09-08
33 commits to master branch, last one 6 years ago
Precise Attack Synthesis for DeFi Apps
Created
2022-03-10
18 commits to master branch, last one 2 years ago
Resources to learn Yul.
Created
2022-07-13
33 commits to main branch, last one about a year ago