Skip to content
View Zeta611's full-sized avatar
🎯
Focusing
🎯
Focusing
124 followers · 256 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@KoreanTUG @SNUECE
Block or Report

Block or report Zeta611

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Zeta611/README.md

🏠 Welcome to my ~(/hoʊm/)

I am pursuing my Master's degree in Computer Science and Engineering at Seoul National University under the supervision of Professor Kwangkeun Yi. Before this, I completed my undergraduate studies in Electrical and Computer Engineering at the same university.

📚 Interests

  • 🎓 Programming language semantics and static analysis
  • 🤖 Functional programming
  • 📱 iOS & macOS development
  • 📜 Professional typesetting with LaTeX
  • Anything in the field of computer science & programming that draws my interest!

ocaml swift latex vim

My top languages

🪄 Pointers

💫 Selected repositories

🧙🏻‍♂️ Programming languages

React-tRace STAPPL easyword polycalc L lamb cps_callcc_yinyang effect_based_interpreter

📜 TeX and friends

simplebnf simplebnf.typ ebproofx simplesnt snu-ece-bsc-thesis snu-cse-bsc-thesis

🌸 Fun

Video-Converter golpy SwiftUI-Fractals CycloidGen cycloidal-surfaces hello-raytracer

Pinned Loading

  1. React-Analysis/react-trace React-Analysis/react-trace Public

    🛤️ React-tRace

    OCaml 4

  2. stappl stappl Public

    🎲 Statically typed probabilistic programming language, feat. GADT

    OCaml 3 1

  3. simplebnf simplebnf Public

    ⌥ Simple Backus–Naur form (BNF) LaTeX package

    TeX 34 6

  4. snu-ece-bsc-thesis snu-ece-bsc-thesis Public

    서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스

    TeX 37 7

  5. easyword easyword Public

    🗣️🇰🇷 Easy Korean Translations of CS Jargons

    ReScript 10 1

  6. SwiftUI-Fractals SwiftUI-Fractals Public

    ❄️ The Sierpinski carpet, triangle, and a fractal tree using SwiftUI

    Swift 32