Alternatives and similar repositories for stacy

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

• CoinFabrik / scout-soroban-examples
  Soroban Smart Contract examples security reviewed by Scout and manual auditors
  ☆28Updated last year
• CoinFabrik / coinfabrik-audit-reports
  A list of public audit reports conducted by the CoinFabrik team.
  ☆21Updated 2 months ago
• CoinFabrik / scout-audit
  Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…
  ☆27Updated last month
• CoinFabrik / scout-soroban
  Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …
  ☆43Updated 9 months ago
• CoinFabrik / scout-actions
  Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…
  ☆16Updated 3 months ago
• CoinFabrik / scout
  Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …
  ☆60Updated 7 months ago
• iankressin / eql
  Query language to interact with EVM chains
  ☆81Updated 6 months ago
• CoinFabrik / CyScout
  This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …
  ☆47Updated 9 months ago
• Cyfrin / moccasin
  Titanoboa-based vyper smart contract development framework
  ☆154Updated last month
• Inco-fhevm / confidential-erc20-framework
  ☆74Updated 6 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆66Updated last month
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆210Updated last week
• maple-labs / revenue-distribution-token
  Token to distribute aggregated vested earnings of any underlying token using the ERC-4626 standard.
  ☆173Updated last year
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆81Updated 3 months ago
• rainshowerLabs / sothis
  Replay and track historical state
  ☆207Updated 6 months ago
• mattstam / solidity-template
  A Solidity starter template for developing smart contracts.
  ☆115Updated 2 years ago
• costa-group / gasol-optimizer
  ☆109Updated last month
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆206Updated last year
• a16z / metamorphic-contract-detector
  ☆162Updated 3 years ago
• leonardoalt / ethereum_formal_verification_overview
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆330Updated 4 months ago
• colinnielsen / safe-tools
  Foundry tools for testing with Gnosis Safes
  ☆144Updated 9 months ago
• Cyfrin / safe-tx-hashes
  ☆134Updated 3 months ago
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆332Updated this week
• 0xkarmacoma / smol-evm
  ☆214Updated 10 months ago
• nathanhleung / fallback
  💸 Write web apps in Solidity — a Solidity web framework / a proof-of-concept implementation of HTTP over Ethereum.
  ☆163Updated 2 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆191Updated 3 months ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
  ☆304Updated last week
• crytic / slither-action
  ☆139Updated 4 months ago
• txtx / txtx
  Terraform for web3. The ultimate companion for Anchor, Clarinet, Foundry and Hardhat. Assist developers performing reproducible deploymen…
  ☆111Updated this week
• zkemail / email-wallet
  A smart contract wallet controlled using email
  ☆170Updated 4 months ago