Alternatives and similar repositories for trello_to_audit_report

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

• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated last year
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• crisgarner / ForgeSnippets
  Forge Snippets for VS Code
  ☆64Updated last year
• jtriley2p / ERC-6909
  ☆59Updated last year
• jtriley2p / counter-exploit-toolkit
  ☆107Updated last year
• webtresclub / huffplug
  The first ever NFT collection crafted using the Huff programming language.
  ☆39Updated last year
• PatrickAlphaC / sc-language-comparison
  ☆30Updated 2 years ago
• smartcontractkit / huff-starter-kit
  A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.
  ☆103Updated 2 years ago
• timeless-fi / uniswap-poor-oracle
  Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain
  ☆50Updated 2 years ago
• devanoneth / ERC4626Votes
  Allow voting on governance by ERC20 and ERC4626 holders
  ☆48Updated 3 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆111Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• nounsDAO / nouns-diligence
  Nouns On-Chain Proposal Simulation and Analysis
  ☆26Updated 2 years ago
• nascentxyz / How-to-Foundry
  ☆81Updated 2 years ago
• RoyalDAO / royaldao-contracts
  Royal DAO contracts Repo
  ☆12Updated 2 years ago
• 0xkarmacoma / galaxy-brain-reentrancy-guard
  Secure by design reentrancy guards
  ☆56Updated 2 years ago
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• ProjectOpenSea / seaport-core
  Core Seaport smart contracts
  ☆49Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆70Updated last year
• devtooligan / cloudhunter
  ☆58Updated 2 years ago
• spearbit-audits / report-template
  A markdown based template for writing spearbit reports
  ☆68Updated 3 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆77Updated last month
• Philogy / erc721h
  ☆45Updated 2 years ago
• timeless-fi / timeless
  Timeless is a yield tokenization protocol that offers Perpetual Yield Tokens.
  ☆40Updated 2 years ago
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆79Updated 2 years ago