Jay Lee's Projects
π’ Programming Language Semantics: It's Easy As 1,2,3 by Graham Hutton
Advent of Code 2023
νλ‘κ·Έλλ° λνμμ λ°°μ°λ μκ³ λ¦¬μ¦ λ¬Έμ ν΄κ²° μ λ΅ νμ΄
Algorithm implementations
곡주λνκ΅ λ¬Έμμμ± μν¬μ 2021 λ°ν μλ£
:books: List of awesome university courses for learning Computer Science!
μ°λ¦¬λ§λ‘ λ μ»΄ν¨ν° κ³Όν λ° κ³΅ν λΆμΌμ λ²μλ€μ
λλ€.
μμΈλνκ΅ μ κΈ°κ³Ό νμλ€μ μν awesome 리μ€νΈ
My Baekjoon Online Judge solutions, in various languages including Python 2/3, Swift, OCaml, C/C++, Scheme, and more.
A cat(1) clone with wings.
곡주λνκ΅ λ¬Έμμμ±μν¬μ 2020 Spring λ°ν μλ£
Quarto extension for a template to publish a PDF book with LaTeX styling.
μ½μ μ±
λ€
곡주λνκ΅ λ¬Έμμμ±μν¬μ 2019 λ°ν μλ£
COMP is a COMment Processor
True GoL using only metaprogramming in C++
β―οΈ CPS, call/cc, and yin-yang
CPU design for the Digital Logic Design final project.
Draws cycloid surfaces on parametrized curves with Asymptote
Draws cycloids on parametrized curves
β Definitional Interpreters for Higher-Order Programming Languages by John C. Reynolds