Skip to content
View yunjeong-lee's full-sized avatar
12 followers · 10 following

Achievements

Achievement: YOLO

Achievements

Achievement: YOLO

Block or report yunjeong-lee

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
yunjeong-lee/README.md

Hi there 👋, I'm Yunjeong Lee

  • 🔭 I'm a PhD student at National University of Singapore
  • 🌱 I’m currently exploring:
    • solver-aided transpiler synthesis for translating an esoteric language to a simpler language
    • a meta-DSL prompt generation for teaching LLM a new DSL
  • 📫 How to reach me: yunjeong.lee@u.nus.edu

Popular repositories Loading

  1. theory-03-examples theory-03-examples Public

    Examples for the Theory 3 assignment

    Scala 1 1

  2. leet-code-problems leet-code-problems Public

    Leet Code problems

    Scala 1

  3. disel disel Public

    Forked from DistributedComponents/disel

    Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

    Coq 1

  4. infer infer Public

    Forked from facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    OCaml 1

  5. resyn resyn Public

    Forked from tjknoth/resyn

    Haskell 1

  6. intellij-community intellij-community Public

    Forked from JetBrains/intellij-community

    IntelliJ IDEA Community Edition & IntelliJ Platform

    1