Yanyan Jiang

mosaic. The MOSAIC Operating Systems Model and Checker

njuthesis. 南京大学山寨毕业论文模版

gpt-tokens. What are learned in tiktoken?

NJU-TOC-Solutions. Solutions to "Introduction to Models of Computation" of Nanjing University

rwtrace. A shared memory dependence tracing tool for dynamic concurrent program analysis

c3. Crash Consistency Checker

jiangyy.github.io. My new home