Mutation Testing for Ethereum Smart Contracts
Python
209
124 commits
updated Nov 21, 2023
119 commits
2 commits
1 commits
formal-land/rocq-of-solidity
Formal verification for Solidity smart contracts with the theorem prover Rocq. Providing higher…
53
amruthpillai/Ethereum-Masterclass
Learning the ropes of developing Decentralized Applications on the Ethereum Blockchain using…
1
protolambda/eth2-docs
Documentation for ETH 2.0
167
leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
376
theofidry/awesome-mutation-testing
Mutation testing resources: how to make better code by introducing bugs
473
project-oak/silveroak
Formal specification and verification of hardware, especially for security and privacy.
133
foundry-rs/foundry-toolchain
GitHub action to install Foundry
275
elm-community/elm-test
moved to elm-explorations/test
339
99.5%
