12 results found Sort:
- Filter by Primary Language:
- Rust (3)
- Solidity (2)
- JavaScript (1)
- Racket (1)
- Haskell (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
715 commits to main branch, last one 15 hours ago
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Created
2023-04-21
488 commits to main branch, last one 6 days ago
Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
Created
2023-04-10
39 commits to master branch, last one about a month ago
Tools for Yul.
Created
2022-08-05
242 commits to main branch, last one 2 years 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,882 commits to main branch, last one 2 months 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 2 years ago
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Created
2023-05-16
266 commits to master branch, last one 5 days ago