Skip to content
View Zeta611's full-sized avatar
🎯
Focusing
🎯
Focusing
154 followers · 281 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 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 theory and static analysis
  • ☯️ Functional programming
  • 📱 Web/iOS/macOS development
  • 📜 Professional typesetting with LaTeX/Typst
  • 💡 Anything in the field of computer science & programming that draws my interest!

ocaml rescript 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-trace Public

    🛤️ React-tRace

    OCaml 17

  2. stappl Public

    🎲 Statically typed probabilistic programming language, feat. GADT

    OCaml 3 1

  3. simplebnf Public

    ⌥ Simple Backus–Naur form (BNF) LaTeX package

    TeX 40 6

  4. snu-ece-bsc-thesis Public

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

    TeX 41 7

  5. easyword Public

    🗣️🇰🇷 Easy Korean Translations of CS Jargons

    ReScript 28 2

  6. SwiftUI-Fractals Public

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

    Swift 33

897 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to Zeta611/nix-config, Zeta611/react-trace, Zeta611/easyword and 75 other repositories
Loading A graph representing Zeta611's contributions from March 31, 2024 to April 06, 2025. The contributions are 94% commits, 3% pull requests, 2% issues, 1% code review. 1% Code review 2% Issues 3% Pull requests 94% Commits

Contribution activity

April 2025

Created 8 commits in 1 repository
Created 1 repository
1 contribution in private repositories Apr 3
Loading