Alternatives and similar repositories for lintspec

Users that are interested in lintspec are comparing it to the libraries listed below

• g00dv1n / evm-hound-rs
  A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.
  ☆36Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆50Updated last week
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• hananbeer / docker-anvil
  ☆34Updated 2 years ago
• clabby / op-kompressor
  A suite of contracts and utilities that enable cheaper transactions on Optimism (and other EVM-equivalent L2s)
  ☆97Updated last year
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated last year
• danhper / eclair
  A Solidity interpreter
  ☆68Updated 3 weeks ago
• GenerationSoftware / pt-v5-vault-boost
  ☆11Updated 3 months ago
• ClementWalter / cairo-vm-df
  A dataframe approach to the Cairo framework
  ☆16Updated 4 months ago
• stateless-consensus / phant
  A stateless Ethereum execution client
  ☆30Updated 4 months ago
• fjl / geas
  The Good Ethereum Assembler
  ☆113Updated last week
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆57Updated 2 weeks ago
• mds1 / solidity-generators
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆121Updated 2 years ago
• Midas-Protocol / contracts
  ☆21Updated last year
• lucas-manuel / invariant-examples
  ☆165Updated last year
• hananbeer / protomerkle
  build merkle trees on-chain
  ☆121Updated 2 years ago
• sky-ecosystem / pe-checklists
  Protocol Engineering Checklists
  ☆27Updated 3 weeks ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆68Updated last year
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆92Updated last week
• ProjectOpenSea / seaport-core
  Core Seaport smart contracts
  ☆50Updated last year
• shafu0x / MicroStable-World
  ☆23Updated 2 months ago
• Uniswap / the-compact-indexer
  Multichain indexer for The Compact built using ponder.sh
  ☆46Updated 2 months ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• shafu0x / evm-from-scratch-book
  The EVM from scratch book
  ☆92Updated last month
• code-423n4 / 2022-07-golom
  ☆10Updated last year
• tserg / vyro
  Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.
  ☆30Updated 2 years ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• ajna-finance / audits
  Audits of Ajna protocol
  ☆18Updated last year
• webtresclub / huffplug
  The first ever NFT collection crafted using the Huff programming language.
  ☆39Updated last year
• alloy-rs / op-alloy
  Transports, Middleware, and Networks for the OP Stack built on Alloy
  ☆70Updated this week