yul

There are 1 repository under yul topic.

• heimdall-rs

  Jon-Becker / heimdall-rs

  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

  ethereumdecompilerethevmtoolkitrustdecoderdisassemblercfgsecuritysolidityyul
  Language:Rust 1070

• andreitoma8 / learn-yul

  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.

  soliditysolidity-assemblysolidity-contractsyul
  173

• FuelLabs / yulp

  ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.

  ethereumevmplussolidityyul
  Language:Nearley 172

• leonardoalt / yools

  Tools for Yul.

  ethereumevmformal-verificationhacktoberfestsolidityyul
  Language:SMT 138

• davidhq / SublimeEthereum

  Ethereum Solidity, Vyper, Yul and StarkNet Cairo language syntaxes

  cairovyperyulyul-plus
  114

• zeroknots / slotmachine

  detect hazardous storage writes in Solidity contracts

  evmsecuritysolidityyul
  Language:Yul 94

• SilentCicero / MultiSignatureWallet

  311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine

  eip712ethereummultisignaturesoliditywalletweb3yul
  Language:JavaScript 59

• axic / yultsur

  Yultsur is a Rust implementation of Yul.

  ethereumsolidityyul
  Language:Rust 55

• Veridise / Eurus

  Precise Attack Synthesis for DeFi Apps

  defiethereumsecuritysmart-contractssoliditysymbolic-compilationsynthesisverificationyul
  Language:Racket 45
• evm

  acuarica / evm

  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

  bytecodeevmparsertypescriptethereumblockchainweb3decoderdecompilerdisassemblercontrol-flow-graphsoliditysignaturesyulcli4byte
  Language:Solidity 41

• Kuly14 / Solidity-Assembly-Resources

  Resources to learn Yul.

  ethereumsolidityyul
  Language:Solidity 29

• openblockchains / awesome-solidity

  Awesome Solidity (Contract) Programming Language & Tools - Incl. Weekly Updates

  blockchainabicairoethereumfefoundryhardhatsoliditysourcifysrubyvyperyul
  Language:Solidity 23

• s6ruby / redpaper

  Red Paper ++ sruby - Small, Smart, Secure, Safe, Solid & Sound (S6) Ruby - The Ruby Programming Language for Contract / Transaction Scripts on the Blockchain World Computer - Yes, It's Just Ruby

  blockchaincontractcontractsrubiditysoliditysrubyuniversumvyperyul
  22

• pynchmeister / yul-greatest-hits

  A collection of Yul/Yul+ code, from basic token standards, to advanced Defi primitives

  yulsmart-contractssolidityyul-plusethereum
  Language:Yul 18

• tanim0la / metamorphic-contract-template

  create metamorphic contracts using this template.

  solidityyul
  Language:Solidity 14
• Metamorphic-contract

  AmadiMichael / Metamorphic-contract

  Contract metamorphism: Changing the runtime code of a contract address using a factory, raw bytecode, create2 and self destruct.

  evmmetamorphismsmart-contractsyul
  Language:Solidity 10

• soltheon / packed_arrays

  Pack address types to utilize 100% of storage space in Solidity

  addressbitpackingevmsolidityyul
  Language:Solidity 10

• jesperkristensen58 / erc1155-in-pure-yul

  The ERC1155 Token contract implemented in pure Yul.

  ethereumyul
  Language:JavaScript 8
• solidity-parser-explorer

  sambacha / solidity-parser-explorer

  Solidity and Yul syntax-aware highlighting and AST explorer

  tree-sittersolidityyulethereumhighlightingsyntaxast
  Language:C 8

• 0xRajkumar / ERC20-In-Yul

  Code is mostly written in Yul.

  erc20solidityyul
  Language:Solidity 7

• Aboudjem / Yul-ERC20-assembly

  A highly efficient ERC20 token implementation in Yul Assembly for Solidity smart contracts.

  assemblyblockchainerc-20erc20evmevm-bytecodefoundrylow-levelsoliditytokenyulyul-assemblyyul-erc20
  Language:Solidity 7

• hellwolf / yul-dsl-monorepo

  The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.

  category-theorycompilerdslhaskelllinear-typessoliditysymmetric-monoidal-categoriesyul
  Language:Haskell 7

• sambacha / proxy-yul

  transparent proxy in yul

  ethereumproxysolidityyul
  Language:Yul 7

• sambacha / latex-solidity

  LaTeX Solidity and Yul Highlighting via Pygments

  highlightinglatexoverleafpygmentspygments-lexersolidityyul
  Language:TeX 6

• Laugharne / Optimal_Function_Names_en

  Optimizing gas costs is a key challenge in the development of smart contracts on the Ethereum blockchain, as every operation carried out on Ethereum incurs a gas cost.

  abiassemblybytecodefunction-dispatchergasgas-optimizationkeccak-256keccak256optimizationsolidityyulyul-assembly
  4

• Laugharne / Optimal_Function_Names

  L'optimisation des coûts en gas est un enjeu clé dans le développement de contrats intelligents sur la blockchain Ethereum, chaque opération effectuée sur Ethereum ayant un coût en gas. Cet article sera aussi l'occasion de fournir du contenu aux lecteurs francophones (🇫🇷).

  abiassemblybytecodegasgas-optimizationkeccak-256keccak256optimizationsolidityyulyul-assemblyfunction-dispatcher
  3

• SilentCicero / yulit

  Yul IDE for the Browser

  bytecodeethereumgasoptimizesmart-contractsolidityweb3yul
  Language:JavaScript 3

• franck44 / yul-dafny

  Yul semantics and verification in Dafny

  dafnyevmyul
  Language:Dafny 2

• SilentCicero / language-yulp

  Yul+ language support in Atom

  ethereumlanguageplussolidityweb3yul
  2
• smart-contracts-experiments

  sumit03guha / smart-contracts-experiments

  Repository to experiment with smart contracts and the language of solidity

  bytecodefoundryfuzzinggas-optimizationhardhatsmart-contractssoliditysolidity-contractsyul
  Language:Yul 2

• supernovahs / SeaportBook

  Seaport Development Book

  ethereumnftopenseasolidityseaport-contractyul
  Language:HTML 2

• formalize / coq-yul

  Formalization of Yul

  coqethereumyul
  Language:Coq 1

• ibourn / 1-horse-store

  Cyfrin-Updraft assembly - EVM - formal verification course

  assemblydifferential-testingfoundryhuffsolidityupdraftyul
  Language:C++ 1

• K1-R1 / YulDemo

  This repo contains some Yul examples

  yulsolidity
  1

• sebastiantf / multisend-yul

  Optimized Multisend contract using Yul

  foundrymultisendyul
  Language:Solidity 1

• sfrechette / yul-neo4j

  Importing Montreal-Pierre Elliott Trudeau International Airport (YUL) data to Neo4j

  airportcyphergraph-databasegraph-modelneo4jyulyul-neo4j
  1