yools

Tools for Yul.

GPL-3.0 License

Stars

139

View Code on GitHub View on X

Ecosystems: Ethereum, Solidity

Statistics for this project are still being loaded, please check back later.

Related Projects

SafeSol

A safety-oriented pre-processor for Solidity

28 Feb 2019 5

solvm

evm inception: the evm inside the evm via yul and solidity

01 Apr 2022 227

blockchain-development-guide

Devpill.me - A Public Good Blockchain Development Guide

30 Jan 2022 1,347

Yul-K

Formal semantics of the yul language

02 Sep 2019 9

solidity-examples

Loose collection of Solidity example code

11 Nov 2016 532

tevm-monorepo

Devnet, bundler and LSP for Solidity and TypeScript that runs in the browser

14 Feb 2023 165

HyVM

Run arbitrary code on the EVM

03 Oct 2022 235

universalmutator

Regexp based tool for mutating generic source code across numerous languages

03 Nov 2017 135

abi-to-sol

Generate Solidity interface from ABI JSON

04 Oct 2020 323

puretea

24 Jun 2022 17

fe

Emerging smart contract language for the Ethereum blockchain.

10 Aug 2019 1,559

solgo

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced ...

28 Jun 2023 2

dl_symb_exec_sol

Symbolic execution engine written in Solidity, based on Difference Logic.

07 Feb 2022 91

yul-isabelle

07 Jan 2021 39

substratum

An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.

01 Mar 2023 57