jyoo980
PhD student at @uwplse. I'm interested in tools for software engineering and programmer productivity
@uwplseSeattle, WA
Pinned Repositories
checker-framework
Pluggable type-checking for Java
collatz-grapher
A visualisation of the Collatz Conjecture, made using Python
crypto-exchange
iOS cryptocurrency exchange-rate app, custom caching for API calls and data.
git-updates
iOS app for keeping track of the people you follow on GitHub
it-depends
a tool for visualizing entity dependencies which cross-cut commit history
linkedin-copypasta
💯👌😂 making LinkedIn shitposts even easier!
maybe
an implementation of the Maybe monad in Scala
open-aop
Group repository for CPSC 311
reach-hover
The ReachHover plugin, presented in the paper "Breaking the Bento box: Accelerating Visual Momentum in Data-flow Analysis" in ICSME 2023
TypeScript.ts
a DSL (domain specific language) for generating TypeScript projects
jyoo980's Repositories
jyoo980/linkedin-copypasta
💯👌😂 making LinkedIn shitposts even easier!
jyoo980/TypeScript.ts
a DSL (domain specific language) for generating TypeScript projects
jyoo980/it-depends
a tool for visualizing entity dependencies which cross-cut commit history
jyoo980/llm-lang
A LLM-first programming language.
jyoo980/plume-util
Utility libraries for Java
jyoo980/checker-framework
Pluggable type-checking for Java
jyoo980/reach-hover
The ReachHover plugin, presented in the paper "Breaking the Bento box: Accelerating Visual Momentum in Data-flow Analysis" in ICSME 2023
jyoo980/ASHE_Automated-Software-Hardening-for-Entrypoints
jyoo980/basic-stats
A GUI program that computes mean, standard deviation, etc.
jyoo980/checkerframework-gradle-plugin
Gradle plugin to use the Checker Framework for Java
jyoo980/chunky
A path tracer to create realistic images of your Minecraft worlds.
jyoo980/daikon
Dynamic detection of likely invariants
jyoo980/div-by-zero-checker
jyoo980/fixture-monkey
Let Fixture Monkey generate test instances including edge cases automatically
jyoo980/grok-1
Grok open release
jyoo980/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
jyoo980/jdk17u
https://openjdk.java.net/projects/jdk-updates/
jyoo980/jyoo980
who I am
jyoo980/keyboard-config
kinesis config
jyoo980/lombok
Very spicy additions to the Java programming language.
jyoo980/NullAway
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
jyoo980/paper-template
jyoo980/plume-bib
BibTeX bibliographies
jyoo980/raceconditionrunning.github.io
Race Condition Running
jyoo980/sigbovik-2024
jyoo980/SootUp
A new version of Soot with a completely overhauled architecture
jyoo980/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
jyoo980/spl
jyoo980/spring-cloud-deployer
The Spring Cloud Deployer project defines an SPI for deploying long lived applications and short lived tasks
jyoo980/xeno-rat
Xeno-RAT is an open-source remote access tool (RAT) developed in C#, providing a comprehensive set of features for remote system management. Has features such as HVNC, live microphone, reverse proxy, and much much more!