catageek's Stars
EbookFoundation/free-programming-books
:books: Freely available programming books
mermaid-js/mermaid
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
isocpp/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
michenriksen/aquatone
A Tool for Domain Flyovers
xairy/linux-kernel-exploitation
A collection of links related to Linux kernel security and exploitation
Consensys/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
trailofbits/manticore
Symbolic execution tool
crytic/awesome-ethereum-security
A curated list of awesome Ethereum security references
msuiche/porosity
*UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
OpenZeppelin/awesome-openzeppelin
Blockchain educational resources curated by the OpenZeppelin team
frida/cryptoshark
Self-optimizing cross-platform code tracer based on dynamic recompilation
FuzzingLabs/octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
OpenZeppelin/openzeppelin-labs
A space for the community to interact and exchange ideas on the OpenZeppelin platform. Do not use in production!
xlab-si/emmy
Library for zero-knowledge proof based applications (like anonymous credentials)
lorenzb/libsubmarine
Implementation of a novel practical scheme for submarine commitments
lorenzb/proveth
Generate & verify Merkle-Patricia-proofs for Ethereum
teamnsrg/erays
Ethereum smart contract reverse engineering
itemisCREATE/solidity-ide
Solidity plugin for Eclipse
eth-sri/soltix
SOLTIX: Scalable automated framework for testing Solidity compilers.
catageek/ByteCart
Minecraft plugin for bukkit to create a LAN/WAN rail network with routing algorithm
ethsecurity/smart-contract-tools
A list of smart contract tools