Skip to content
View KunJeong's full-sized avatar
4 followers · 3 following
  • 16:43 (UTC +09:00)

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report KunJeong

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
KunJeong/README.md

Seokhun Jeong

MS student working on specification programming and mechanization.

Currently – mainly building SpecTecX, a domain-agnostic specification programming framework. Also integrating P4-SpecTec into the official P4 specification.

How I work – code under my name is usually initially drafted by Claude Opus 4.7, then reviewed word-by-word and iterated extensively before anything lands; I'm fully responsible for everything I commit.

Pinned Loading

  1. kaist-plrg/spectecx kaist-plrg/spectecx Public

    An executable subset of the SpecTec mechanization framework

    OCaml 21 2

  2. conquer conquer Public

    TypeScript

  3. brightjade/ICARUS brightjade/ICARUS Public

    ICARUS (Interactive CitAtion Recommendation with User-centered System) recommends academic papers that may be helpful for researchers to refer to and perhaps cite them in their own paper.

    TypeScript

  4. The-Music-that-Moved-the-Castle The-Music-that-Moved-the-Castle Public

    JavaScript