Pinned Repositories
Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
2019Fall
EE208/CS221 homework
2021Spring
Labs/Assignments of 2021 Spring
csapp-lab
EE447-Project
Distributed Computing Platform
Full-Iso-Recursive-Types
Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"
OCamlTiger
an OCaml solution of "Modern Compiler Implementation in ML" (in progress)
QuickSub
Artifact for POPL 2025 paper "QuickSub: Efficient Iso-Recursive Subtyping"
ClassicalReal
VST-A-VSTpart
ltzone's Repositories
ltzone/2019Fall
EE208/CS221 homework
ltzone/2021Spring
Labs/Assignments of 2021 Spring
ltzone/OCamlTiger
an OCaml solution of "Modern Compiler Implementation in ML" (in progress)
ltzone/csapp-lab
ltzone/EE447-Project
Distributed Computing Platform
ltzone/Full-Iso-Recursive-Types
Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"
ltzone/HOverifier
ltzone/my_leetcode
beginner
ltzone/EE208Lab
2019 Fall Semester EE208 Final Project Working Space :D
ltzone/QuickSub
Artifact for POPL 2025 paper "QuickSub: Efficient Iso-Recursive Subtyping"
ltzone/SmartBoySearch
Smart Boy Search: a simple academic search engine with visualization [SJTU 2019 Spring EE101 Final Project]
ltzone/2020Fall
Algorithms, System & AI Course
ltzone/2020Spring
Course Materials, Notes, Codes in 2020 Spring
ltzone/blog
Personal Blog
ltzone/CP-next
The Next Generation of Compositional Programming
ltzone/hipsleek
ltzone/ieee.icu
A website for courses of IEEE pilot class, SJTU.
ltzone/running_page
Make your own running home page
ltzone/VST
Verified Software Toolchain
ltzone/waka-box
📊 Update a pinned gist to contain your weekly WakaTime stats