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.
Language:Python000
cs704
Class repo
Language:Python000
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Language:Jupyter NotebookApache-2.0000
hahaha-bot
A mainly rule-based robot to play Hanabi with human by intuitive conventions.
Language:PythonGPL-3.0000
leetcode-cli
A cli tool to enjoy leetcode!
Language:JavaScriptMIT000
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software.
Language:CApache-2.0000
pictures
image hosting web site
000
practice-coding
Traditional CS algorithms and data structures
Language:C++000
rq
Simple job queues for Python
NOASSERTION000
ssft18
Summer School for Formal Techniques
Language:HTML000
tiny-hanabi
Toy multi-agent reinforcement learning benchmark inspired by Hanabi.
MIT000
tlaplus
Learning TLA+.
000