Zhicheng Cai's repositories

ethereum-dapps-verification

State-of-the-art about program verification on Ethereum DApps

Language:SolidityStargazers:22Issues:6Issues:0

setup-linux

Some useful tips or configuration files for Linux environment.

Language:ShellStargazers:2Issues:0Issues:0

CPTT

C-- compiler

Language:CStargazers:1Issues:2Issues:0

fuzzing-tutorial

Fuzzing learning

Language:C++Stargazers:1Issues:0Issues:0

cs489-W2017-a5

The assignment 5 for W2017-cs489, Intro to ML.

Language:PythonStargazers:0Issues:0Issues:0

cs704

Class repo

Language:PythonStargazers:0Issues:0Issues:0

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hahaha-bot

A mainly rule-based robot to play Hanabi with human by intuitive conventions.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

leetcode-cli

A cli tool to enjoy leetcode!

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

muparser

official repository of the muparser fast math parser library

License:NOASSERTIONStargazers:0Issues:0Issues:0

oss-fuzz

OSS-Fuzz - continuous fuzzing of open source software.

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pictures

image hosting web site

Stargazers:0Issues:0Issues:0

practice-coding

Traditional CS algorithms and data structures

Language:C++Stargazers:0Issues:0Issues:0

rq

Simple job queues for Python

License:NOASSERTIONStargazers:0Issues:0Issues:0

ssft18

Summer School for Formal Techniques

Language:HTMLStargazers:0Issues:0Issues:0

tiny-hanabi

Toy multi-agent reinforcement learning benchmark inspired by Hanabi.

License:MITStargazers:0Issues:0Issues:0

tlaplus

Learning TLA+.

Stargazers:0Issues:0Issues:0