Giters
Steve (YezhouLiu)

YezhouLiu

Geek Repo

9

followers

10

following

57

stars

Company:Developer/Researcher

Location:Auckland, NZ

Github PK Tool:Github PK Tool

Steve's repositories

cP-Verifier

Developing

Language:PythonStargazers:2Issues:0Issues:0

cP-Coq

cP-Coq library and example files

Language:CoqStargazers:1Issues:0Issues:0

cP-subset-sum

CSP# and B

Stargazers:1Issues:0Issues:0

cP-Sudoku

Language:PythonStargazers:1Issues:0Issues:0

cPSim-version1

cPSim-version1

Language:PythonStargazers:1Issues:0Issues:0

cPsystem_example_cpp

A simple membrane computing example

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

Paper-Scissors-Rock-Example

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

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

WinApps

Some apps

Language:C#Stargazers:0Issues:0Issues:0