Litao Zhou's repositories
2021Spring
Labs/Assignments of 2021 Spring
OCamlTiger
an OCaml solution of "Modern Compiler Implementation in ML" (in progress)
EE447-Project
Distributed Computing Platform
Full-Iso-Recursive-Types
Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"
my_leetcode
beginner
SmartBoySearch
Smart Boy Search: a simple academic search engine with visualization [SJTU 2019 Spring EE101 Final Project]
2020Spring
Course Materials, Notes, Codes in 2020 Spring
CP-next
The Next Generation of Compositional Programming
Language:CoqNOASSERTION000
Language:OCaml000
running_page
Make your own running home page