Mauricio Perdomo's repositories
TableTopGameEvaluator
A Python3 software to evaluate how good a board game is.
fibercryptowallet
Multi-coin cryptocurrency wallet
account-abstraction
ERC 4337 contract implementation for account abstraction via alternative mempool
awesome-ethereum-security
A curated list of awesome Ethereum security references
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
building-secure-contracts
Guidelines and training material to write secure smart contracts
code423n4.com
code423n4.com source code
course-evaluator
Course evaluator written in Python
damn-vulnerable-defi-solutions
My solutions for damn-vulnerable-defi challenges
DeFi-Developer-Road-Map
DeFi Developer Road Map. Feel free to submit a pull request, with anything from small fixes to translations, docs or tools you'd like to add.
echidna-action-example
Creating a github action to automatically audit smart contracts with echidna
ethchat
Chatting on Ethereum
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
EthList
The Comprehensive Ethereum Reading List
fuzzy-inference-system
Fuzzy inference system for simulation project
hats-finance-ctf-2
Hats Finance CTF Challenge #2 Solution
manticore-action-example
Manticore audits example with Github Actions
nany-robot
Simulation Task
nethermind
Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed
publications
Publications from Trail of Bits
Simulation
Simulation Project
slither
Static Analyzer for Solidity