repos
64
ecosystems
21
languages
9
commits
2,405
─── top repos · by commits
─── repositories
64 totalEthereum smart contract fuzzer
Experimental Echidna Builds
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Guidelines and training material to write secure smart contracts
Guidelines and training material to write secure smart contracts
Symbolic and concrete EVM execution engine
Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
A unit test-like interface for fuzzing and symbolic execution
Static Analyzer for Solidity and Vyper
Static Analyzer for Solidity
CertiK fork of Slither Analyzer
Static Analyzer for Solidity and Vyper
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Pre-built security properties for common Ethereum operations
Symbolic execution tool
Static Analyzer for Solidity
Symbolic execution tool
Publications from Trail of Bits
Echidna testing of floating point libraries for Solidity created by ABDK Consulting
A demo on how to use the slither-docs actions (https://github.com/crytic/slither-docs-action)
Abstraction layer for smart contract build systems
Simplify Ethereum security analysis and testing
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Example code for testing using Echidna explained during the Spearbit presentation
Examples of Solidity security issues
Example code for testing using Echidna explained during the yAcademy presentation
:chains: A Framework for Building High Value Public Blockchains :sparkles:
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
Symbiotic + cosmos-sdk example project
Static Analyzer for Starknet smart contracts
Dapp, Seth, Hevm, and more
SQL powered operating system instrumentation, monitoring, and analytics.
Visual Studio Code integration for Slither, a Solidity static analysis framework
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Dapp, Seth, Hevm, and more
dapptools with added matic network functionality
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Nitro goes vroom and fixes everything
Static Analyzer for Teal
Amarna is a static-analyzer and linter for the Cairo programming language.
Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.
Ethereum Virtual Machine (EVM) disassembler and assembler
A collection about all things Diem (formerly Libra), Move & Facebook Zuckerbucks - Let's reinvent money with fast and cheap world-wide transfers; let's bank the 1.7 billion unbanked, ...
Nitro goes vroom and fixes everything
Standalone Ethereum Virtual Machine
Arbitrum Nitro extended to securely support EigenDA
Nitro goes vroom and fixes everything
Very Liquid Vaults
Very Liquid Vaults
Nitro goes vroom and fixes everything
Nitro goes vroom and fixes everything
Nitro goes vroom and fixes everything
─── peer developers
─── ecosystems
─── languages
- Python19
- Go13
- Solidity10
- Haskell8
- Shell3
- TypeScript2
- Cairo1
- C++1
- JavaScript1
─── subscriber view
Unlock the full view of gustavo-grieco
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.