Pinned Loading

1. CV CV Public

   Curriculum Vitae

   TeX

2. blog blog Public

   My personal website.

   Haskell

3. tml-compiler tml-compiler Public

   Tiny ML compiler written in OCaml

   OCaml

4. CSED312 CSED312 Public archive

   Pintos; Assignment from CSED312: Operating System, 2025 Fall, POSTECH

   C 1 1

5. CSED433 CSED433 Public

   Assignment from CSED433: Computational Logic, 2025 Fall, POSTECH

   Rocq Prover 2

6. UniD3-Hackathon-Team4/barokey UniD3-Hackathon-Team4/barokey Public

   제 3회 Uni-DTHON 해커톤 출품작 <바로키> 서비스 소개 페이지 입니다.

   Shell 2