Feist Josselin's starred repositories
public-pentesting-reports
A list of public penetration test reports published by several consulting firms and academic security groups.
awesome-solidity
⟠ A curated list of awesome Solidity resources, libraries, tools and more
go-callvis
Visualize call graph of a Go program using Graphviz
adversarial-robustness-toolbox
Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams
blockchain-papers
A curated list of academic blockchain-related papers
awesome-cryptoeconomics
An awesome curated list of Cryptoeconomic research and learning materials
evm-opcodes
Ethereum opcodes and instruction reference
awesome-economics
A curated collection of links for economists
binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
SWC-registry
Smart Contract Weakness Classification and Test Cases
practical-fm
A gently curated list of companies using verification formal methods in industry
evm-opcode-gas-costs
Gas Costs from Ethereum Yellow Paper
community-plugins
Repository for community provided Binary Ninja plugins
solidity-flattener
A python utility to flatten Solidity code with imports into a single file.
properties
Pre-built security properties for common Ethereum operations
binjascripts
Scripts for Binary Ninja
smart-contract-languages
A curated collection of resources on smart contract programming languages
manticore-examples
Example Manticore scripts
etherscan_verified_contracts
Verified contracts synced from Etherscan
ethereum-bounty-hunters
Repository dedicated to listing current bug bounty programs in the Ethereum ecosystem
antlr4-python
ANTLR 4 examples in Python
embark-slither
Embark Slither plugin