Skip to content
View jeongsoolee09's full-sized avatar
🗿
🗿
22 followers · 91 following
  • GitHub
  • Los Angeles, CA

Achievements

Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Block or report jeongsoolee09

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

Pinned Loading

  1. github/codeql-coding-standards github/codeql-coding-standards Public

    This repository contains CodeQL queries and libraries which support various Coding Standards.

    CodeQL 127 58

  2. Taint-Analysis Taint-Analysis Public

    SpecHunter: Interactively Inferring Taint Specifications

    Java

  3. InferenceEngine InferenceEngine Public

    The inferring component of SpecHunter.

    OCaml

  4. LLVM-Interval-Analyzer LLVM-Interval-Analyzer Public

    An interval static analyzer targeting LLVM IR

    Haskell

  5. Stateless Stateless Public

    Automatic Scala Code Refactorer. May the Lambda be with you

    Java

  6. Coq-Things Coq-Things Public

    Miscellaneous things written in Coq

    Coq