Giters
Litao Zhou (ltzone)

ltzone

Geek Repo

111

followers

89

following

51

stars

Company:The University of Hong Kong

Location:Hong Kong

Home Page:www.ltzhou.com

Github PK Tool:Github PK Tool

Litao Zhou's repositories

2019Fall

EE208/CS221 homework

Language:PythonLicense:GPL-3.0Stargazers:3Issues:2Issues:2

2021Spring

Labs/Assignments of 2021 Spring

Language:JavaStargazers:3Issues:2Issues:0

OCamlTiger

an OCaml solution of "Modern Compiler Implementation in ML" (in progress)

Language:OCamlLicense:GPL-3.0Stargazers:2Issues:2Issues:0

csapp-lab

Language:CStargazers:1Issues:2Issues:0

EE447-Project

Distributed Computing Platform

Language:VueStargazers:1Issues:2Issues:0

HOverifier

Language:OCamlStargazers:1Issues:1Issues:0

my_leetcode

beginner

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

EE208Lab

2019 Fall Semester EE208 Final Project Working Space :D

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

SmartBoySearch

Smart Boy Search: a simple academic search engine with visualization [SJTU 2019 Spring EE101 Final Project]

Language:JavaScriptStargazers:0Issues:1Issues:0

2020Fall

Algorithms, System & AI Course

Language:TeXStargazers:0Issues:2Issues:0

2020Spring

Course Materials, Notes, Codes in 2020 Spring

Language:CoqLicense:GPL-3.0Stargazers:0Issues:2Issues:0

blog

Personal Blog

Language:ShellStargazers:0Issues:2Issues:0

hipsleek

Language:OCamlStargazers:0Issues:0Issues:0

ieee.icu

A website for courses of IEEE pilot class, SJTU.

Language:PythonStargazers:0Issues:1Issues:0

running_page

Make your own running home page

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0

waka-box

📊 Update a pinned gist to contain your weekly WakaTime stats

Language:JavaScriptLicense:ISCStargazers:0Issues:1Issues:0