crytic
Crytic Joined Mar 2019 View on GitHub
- Stars
- 23,541
- across 57 public repos
- Rank
- #1,570
- of 94,827 organizations, top 2%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 9,732 | Static Analyzer for Solidity and Vyper | Python | 6,412 |
| 21,053 | Ethereum smart contract fuzzer | Haskell | 3,193 |
| 27,340 | Guidelines and training material to write secure smart contracts | Solidity | 2,483 |
| 30,536 | Examples of Solidity security issues | Solidity | 2,225 |
| 46,167 | A curated list of awesome Ethereum security references | 1,484 | |
| 50,633 | Ethereum opcodes and instruction reference | 1,350 | |
| 76,661 | EVM dissassembler | Python | 854 |
| 80,039 | Manage and switch between Solidity compiler versions | Python | 816 |
| 125,452 | Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum | Go | 500 |
| 152,767 | Directory of security contacts for blockchain companies | 400 | |
| 157,187 | Ethereum Virtual Machine (EVM) disassembler and assembler | Python | 387 |
| 162,792 | Pre-built security properties for common Ethereum operations | Solidity | 372 |
| 164,772 | evm binary static analysis | Python | 367 |
| 178,116 | Simplify Ethereum security analysis and testing | Python | 336 |
| 180,929 | IDA Processor Module for the Ethereum Virtual Machine (EVM) | Python | 330 |
| 277,183 | Abstraction layer for smart contract build systems | Python | 199 |
| 354,240 | Static Analyzer for Starknet smart contracts | Cairo | 148 |
| 358,173 | Amarna is a static-analyzer and linter for the Cairo programming language. | Python | 146 |
| 364,277 | Shell | 143 | |
| 400,896 | EVM CFG recovery | Python | 127 |
| 433,704 | A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties | Solidity | 115 |
| 446,205 | A 6-part series on how to use Echidna on real-world codebases | Solidity | 111 |
| 469,574 | Rust | 104 | |
| 488,391 | Optik is a set of symbolic execution tools that assist smart-contract fuzzers | Python | 99 |
| 577,175 | StarkNet smart contract fuzzer | Python | 80 |
| 583,124 | Experimental tool to ease the review of smart contracts upgrades | Solidity | 79 |
| 600,843 | Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks | Go | 76 |
| 696,099 | Static Analyzer for Teal | Python | 63 |
| 704,714 | GitHub Action to run Echidna, the Ethereum smart contract fuzzer | Shell | 62 |
Among 94,827 organizations
16k–25k stars: 923 organizations, including crytic
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- Python 10.2k stars, 43% · 13 repos
- Solidity 5.4k stars, 23% · 6 repos
- Haskell 3.2k stars, 14% · 1 repo
- Go 576 stars, 2% · 2 repos
- Shell 205 stars, 1% · 2 repos
- Cairo 148 stars, 1% · 1 repo
- Rust 104 stars, <1% · 1 repo
When they were made
29 repos with 50+ stars, made between 2017 and 2024
Quick stats
- Next rank
- +5 stars to reach #1,569
- Next milestone
- +11,453 stars to reach the top 1%
- Public repos
- 57, 29 with 50+ stars
- Popular repos
- 23 over 100 stars, 6 over 1k stars
- Top repo
- slither, #9,732 of all repos, 27% of stars
- Smaller repos
- 480 stars from repos under 50