Zhicheng Cai's repositories
ethereum-dapps-verification
State-of-the-art about program verification on Ethereum DApps
setup-linux
Some useful tips or configuration files for Linux environment.
fuzzing-tutorial
Fuzzing learning
cs489-W2017-a5
The assignment 5 for W2017-cs489, Intro to ML.
hahaha-bot
A mainly rule-based robot to play Hanabi with human by intuitive conventions.
leetcode-cli
A cli tool to enjoy leetcode!
practice-coding
Traditional CS algorithms and data structures
tiny-hanabi
Toy multi-agent reinforcement learning benchmark inspired by Hanabi.