Andreas's starred repositories
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
truffle-security
MythX smart contract security verification plugin for Truffle Framework
awesome-mythx-smart-contract-security-tools
A curated list of resources and tools for the MythX smart contract security API
openzeppelin-test-helpers
Assertion library for Ethereum smart contract testing
beigepaper
Rewrite of the Yellowpaper in non-Yellowpaper syntax.
learning-solidity
The companion to the Youtube tutorials
security-workshop-for-devs
Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
reinforcement-learning
Reinforcement learning material, code and exercises for Udacity Nanodegree programs.
artificial-intelligence-for-trading
Content for Udacity's AI in Trading NanoDegree.
BCND-C6-Exercises
4 Exercises for Blockchain Nanodegree Course 6
FlightSurety
Udacity Blockchain Nanodegree Course 6 "Flight Surety" Project
machine-learning
Content for Udacity's Machine Learning curriculum
deep-reinforcement-learning
Repo for the Deep Reinforcement Learning Nanodegree program
deep-learning
Repo for the Deep Learning Nanodegree Foundations program.
deep-learning-v2-pytorch
Projects and exercises for the latest Deep Learning ND program https://www.udacity.com/course/deep-learning-nanodegree--nd101
awesome-python
An opinionated list of awesome Python frameworks, libraries, software and resources.
web3-provider-engine
A JavaScript library for composing Ethereum provider objects using middleware modules
ganache-ui
Personal blockchain for Ethereum development