Alejo Salles's repositories
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
active-learning
Active Learning Model
ActiveLearning
Active Learning experiment with Zi
awesome-zeppelin
Blockchain educational resources curated by the Zeppelin team
openzeppelin-contracts
OpenZeppelin, a framework to build secure smart contracts on Ethereum
tidal-midi
Tidal module for sending patterns over MIDI
tpl-contracts
Proof of concept for the contracts implementing TPL
BanditLand
Bandit simulations, experiments, ...
pakala
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Language:PythonGPL-3.0000
RelationalReasoning
Relational Reasoning Model
Language:Solidity000
sec-solidity
Salary Expectations Checker
Language:SolidityUnlicense000
tangamandapio
My personal website