repos
22
ecosystems
8
languages
7
commits
1,655
─── top repos · by commits
─── repositories
22 totalEthereum smart contract fuzzer
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Experimental Echidna Builds
Ethereum smart contract fuzzer
Symbolic execution tool
Symbolic execution tool
poststructural fuzzing
Fast SNMP Scanner
Easily create authenticated data structures
Example Manticore scripts
A work-in-progress PureScript to Plutus Core compiler
Experiments with PureScript parser in order to extract a KAST
Demonstration library for using the Secure Enclave on iOS
Find the ideal fuzz targets in a Rust codebase
Symbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!
Publications from Trail of Bits
Dapp, Seth, Hevm, and more
dapptools with added matic network functionality
─── peer developers
─── ecosystems
─── languages
- Haskell11
- Python4
- Solidity1
- C1
- Swift1
- Rust1
- Assembly1
─── subscriber view
Unlock the full view of japesinator
- · 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.