SOLTIX: Scalable automated framework for testing Solidity compilers.

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Library for zero-knowledge proof based applications (like anonymous credentials)

Ethereum smart contract reverse engineering

A curated list of awesome Ethereum security references

Blockchain educational resources curated by the OpenZeppelin team

A Tool for Domain Flyovers

A collection of links related to Linux kernel security and exploitation

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

Symbolic execution tool

Implementation of a novel practical scheme for submarine commitments

Generate & verify Merkle-Patricia-proofs for Ethereum

A list of smart contract tools

A space for the community to interact and exchange ideas on the OpenZeppelin platform. Do not use in production!

Solidity plugin for Eclipse

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

*UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Self-optimizing cross-platform code tracer based on dynamic recompilation

📚 Freely available programming books

Minecraft plugin for bukkit to create a LAN/WAN rail network with routing algorithm