Yunkai Zhang's repositories
yunkaizhang233.github.io
Yunkai Zhang's Personal Website
ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
flask-tut
Following along the Python + Flask tutorial for the DRP project
cs-self-learning
计算机自学指南
a-level-further-maths-topic-questions-david-game
A Collection of A Level further maths topic questions
computer-science-notes
A collection of my personal notes for computer science studies
typst-template-topic-question
A Typst template for creating topic questions collection
formalising-mathematics-2024
2024 Iteration of Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
compiler-lalrpop
WACC Compiler, still implemented in Rust but using Parser Generators, LALRPOP + LLVM
wacc-testing-examples
Our group's set of programs used for integration test in the WACC project.
chumsky
Chumsky, but trying to improve the Pratt parser with non-associative binary operators.
pintos_sys
My working records based on PintosBook at https://alfredthiel.gitbook.io/pintosbook/
cs162-homework
CS 162 Homework Assignments
mit-frap-sp23
My Workings Towards Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
cs242-f19-assignments
My Workings on Stanford CS242 Programming Languages Course Fall 2019 Assignments