12 results found Sort:

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
34
336
apache-2.0
12
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
44
233
unknown
3
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
6
138
gpl-3.0
9
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
10
75
mit
3
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
22
58
gpl-3.0
8
Yultsur is a Rust implementation of Yul.
Created 2018-09-08
33 commits to master branch, last one 6 years ago
3
47
gpl-3.0
13
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