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